mirror of
https://github.com/hexedtech/codemp.git
synced 2024-11-25 00:24:48 +01:00
Merge pull request #53 from hexedtech/fix/panic-and-docs
fix: panic and docs
This commit is contained in:
commit
06eaa6358c
3 changed files with 4 additions and 5 deletions
|
@ -85,5 +85,4 @@ features = ["serialize"]
|
|||
opt-level = 'z'
|
||||
lto = true
|
||||
codegen-units = 1
|
||||
panic = 'abort'
|
||||
strip = 'symbols'
|
||||
|
|
2
dist/py/src/codemp/codemp.pyi
vendored
2
dist/py/src/codemp/codemp.pyi
vendored
|
@ -24,7 +24,7 @@ class Config:
|
|||
port: Optional[int]
|
||||
tls: Optional[bool]
|
||||
|
||||
def __new__(cls, username: str, password: str, **kwargs) -> Config: ...
|
||||
def __new__(cls, *, username: str, password: str, **kwargs) -> Config: ...
|
||||
|
||||
def init() -> Driver: ...
|
||||
def set_logger(logger_cb: Callable[[str], None], debug: bool) -> bool: ...
|
||||
|
|
|
@ -83,8 +83,8 @@
|
|||
//!
|
||||
//! # connect first, api.code.mp is managed by hexed.technology
|
||||
//! client = codemp.connect(codemp.Config(
|
||||
//! username='mail@example.net',
|
||||
//! password='dont-use-this-password'
|
||||
//! username = "mail@example.net",
|
||||
//! password = "dont-use-this-password"
|
||||
//! )).wait()
|
||||
//!
|
||||
//! # create and join a workspace
|
||||
|
@ -92,7 +92,7 @@
|
|||
//! workspace = client.attach_workspace("some-workspace").wait()
|
||||
//!
|
||||
//! # create a new buffer in this workspace and attach to it
|
||||
//! workspace.create("/my/file.txt").wait()
|
||||
//! workspace.create_buffer("/my/file.txt").wait()
|
||||
//! buffer = workspace.attach_buffer("/my/file.txt").wait()
|
||||
//!
|
||||
//! # write `hello!` at the beginning of this buffer
|
||||
|
|
Loading…
Reference in a new issue