Fix ctrl-c not shutting down ./start (#1476)

For some reason, a couple weeks ago `ctrl-c` stopped properly shutting
down the Docker container when running `./start`. So I'd have to
manually kill the container.

It now works when using `--init`:

```
❯ docker run --help | grep init
      --init                           Run an init inside the container that forwards signals and reaps processes
```
This commit is contained in:
Eric Arellano 2024-05-31 17:00:44 -04:00 committed by GitHub
parent 13f1e350fe
commit 1ff27c0cf5
1 changed files with 18 additions and 18 deletions

36
start
View File

@ -38,24 +38,24 @@ def main() -> None:
+ "`docker pull qiskit/documentation` to check for updates.",
file=sys.stderr,
)
subprocess.run(
# Keep this aligned with the Dockerfile at the root of the repository.
[
"docker",
"run",
"-v",
f"{PWD}/docs:/home/node/app/docs",
*translation_volume_mounts(),
"-v",
f"{PWD}/public:/home/node/app/packages/preview/public",
"-p",
"3000:3000",
"-p",
"5001:5001",
"qiskit/documentation",
],
check=True,
)
# Keep this aligned with the Dockerfile at the root of the repository.
cmd = [
"docker",
"run",
"-v",
f"{PWD}/docs:/home/node/app/docs",
*translation_volume_mounts(),
"-v",
f"{PWD}/public:/home/node/app/packages/preview/public",
"-p",
"3000:3000",
"-p",
"5001:5001",
# Needed for ctrl-c to shut down the container.
"--init",
"qiskit/documentation",
]
subprocess.run(cmd, check=True)
if __name__ == "__main__":