mirror of
https://github.com/erg-lang/erg.git
synced 2025-08-03 10:23:20 +00:00
33 lines
956 B
Python
33 lines
956 B
Python
.CompletedProcess: ClassType
|
|
.CompletedProcess.args: Str or [Str; _]
|
|
.CompletedProcess.returncode: Int
|
|
.CompletedProcess.stdout: Bytes or NoneType
|
|
.CompletedProcess.stderr: Bytes or NoneType
|
|
|
|
.run!: (
|
|
args: Str or [Str; _],
|
|
stdin: File! or NoneType := NoneType,
|
|
stdout: File! or NoneType := NoneType,
|
|
stderr: File! or NoneType := NoneType,
|
|
capture_output := Bool,
|
|
shell := Bool,
|
|
) => .CompletedProcess
|
|
.call!: (
|
|
args: Str or [Str; _],
|
|
stdin: File! or NoneType := NoneType,
|
|
stdout: File! or NoneType := NoneType,
|
|
stderr: File! or NoneType := NoneType,
|
|
shell := Bool,
|
|
) => Int
|
|
.check_call!: (
|
|
args: Str or [Str; _],
|
|
stdin: File! or NoneType := NoneType,
|
|
stderr: File! or NoneType := NoneType,
|
|
shell := Bool,
|
|
) => {0} or Never
|
|
.check_output!: (
|
|
args: Str or [Str; _],
|
|
stdin: File! or NoneType := NoneType,
|
|
stderr: File! or NoneType := NoneType,
|
|
shell := Bool,
|
|
) => Bytes or NoneType
|