ssh typer

This commit is contained in:
Paul Gauthier 2023-06-26 20:15:42 -07:00
parent dd30cb34ed
commit 4d3c77332f

View file

@ -28,7 +28,7 @@ assert BENCHMARK_DNAME.exists() and BENCHMARK_DNAME.is_dir()
ORIGINAL_DNAME = BENCHMARK_DNAME / "practice/."
assert ORIGINAL_DNAME.exists() and ORIGINAL_DNAME.is_dir()
app = typer.Typer(add_completion=False)
app = typer.Typer(add_completion=False, pretty_exceptions_enable=False)
@app.command()