diff --git a/docker/docker_tools_misc.py b/docker/docker_tools_misc.py index 2c15c6bbd..b04d84122 100644 --- a/docker/docker_tools_misc.py +++ b/docker/docker_tools_misc.py @@ -43,22 +43,14 @@ # ``shell`` # --------- @click.command() -@click.option( - "--venv/--no-venv", - default=True, - help="Open a shell within the Python virtual environment for the Runestone servers.", -) -def shell(venv: bool) -> None: +def shell() -> None: """ - Open a Bash shell in the Docker container. + Open a Bash shell in the Docker container, using the Python virtual environment for the Runestone servers. """ # Ask for an interactive console. ensure_in_docker(True) # Skip a check, since the user will see any failures and because this raises an exception of the last command in the shell produced a non-zero exit code. - if venv: - xqt("poetry run bash", cwd=env.RUNESTONE_PATH, check=False) - else: - xqt("bash", check=False) + xqt("bash", cwd=env.RUNESTONE_PATH, check=False) # ``start_servers``