mirror of
https://github.com/erg-lang/erg.git
synced 2025-07-21 12:05:27 +00:00
57 lines
1.7 KiB
Python
57 lines
1.7 KiB
Python
logging = pyimport "logging"
|
|
._WINDOWS: Bool
|
|
|
|
.chown!: (path: PathLike, user := Str, group := Str) => NoneType
|
|
.copyfile!: (src: PathLike, dst: PathLike,) => NoneType
|
|
.copy!: (src: PathLike, dst: PathLike,) => NoneType
|
|
.copy2!: (src: PathLike, dst: PathLike,) => NoneType
|
|
.copytree!: (
|
|
src: PathLike,
|
|
dst: PathLike,
|
|
symlinks := Bool,
|
|
ignore := GenericCallable,
|
|
copy_function := GenericCallable,
|
|
ignore_dangling_symlinks := Bool,
|
|
dirs_exist_ok := Bool,
|
|
) => NoneType
|
|
.disk_usage!: (path: PathLike,) => NamedTuple {
|
|
.total = Nat;
|
|
.used = Nat;
|
|
.free = Nat;
|
|
}
|
|
.get_archive_formats!: () => [(Str, Str); _]
|
|
.get_unpack_formats!: () => [(Str, [Str; _], Str); _]
|
|
.get_terminal_size!: (fallback := (Nat, Nat)) => NamedTuple {
|
|
.columns = Nat;
|
|
.lines = Nat;
|
|
}
|
|
.ignore_patterns!: (*patterns: Str) => GenericCallable
|
|
.register_archive_format!: (name: Str, function: GenericCallable) => NoneType
|
|
.register_unpack_format!: (name: Str, extensions: [Str; _], function: GenericCallable) => NoneType
|
|
.rmtree!: (
|
|
path: PathLike,
|
|
ignore_tree := Bool,
|
|
onerror := Obj,
|
|
onexc := Obj,
|
|
dir_fd := Nat or FileDescriptor,
|
|
) => NoneType
|
|
.make_archive!: (
|
|
base_name: Str,
|
|
format: Str,
|
|
root_dir := Str,
|
|
base_dir := Str,
|
|
verbose := Bool,
|
|
dry_run := Bool,
|
|
owner := Str,
|
|
group := Str,
|
|
logger := logging.Logger!,
|
|
) => Str
|
|
.move!: (src: PathLike, dst: PathLike, copy_function := GenericCallable) => Str
|
|
.unpack_archive!: (
|
|
filename: PathLike,
|
|
extract_dir := PathLike,
|
|
format := Str,
|
|
) => NoneType
|
|
.unregister_archive_format!: (name: Str) => NoneType
|
|
.unregister_unpack_format!: (name: Str) => NoneType
|
|
.which!: (cmd: Str,) => Str or NoneType
|