From 8815312cad053d0284c4d91bfbf36a1e9ea207af Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ciro=20Santilli=20=E5=85=AD=E5=9B=9B=E4=BA=8B=E4=BB=B6=20?= =?UTF-8?q?=E6=B3=95=E8=BD=AE=E5=8A=9F?= Date: Fri, 28 Sep 2018 00:00:00 +0000 Subject: [PATCH] docker: rename rundocker to run-docker to match previous refactor --- README.adoc | 14 +++++++------- rundocker => run-docker | 0 2 files changed, 7 insertions(+), 7 deletions(-) rename rundocker => run-docker (100%) diff --git a/README.adoc b/README.adoc index 5c12780..0c76e72 100644 --- a/README.adoc +++ b/README.adoc @@ -429,7 +429,7 @@ sudo apt-get install docker The very first time you launch Docker, create the container with: .... -./rundocker setup +./run-docker setup .... You are now left inside a shell in the Docker guest. @@ -453,13 +453,13 @@ Ctrl-D Restart the container: .... -./rundocker +./run-docker .... In order to use functionality such as <>, you need a second shell inside the container. You can either do that with: .... -./rundocker sh +./run-docker sh .... or even better, by starting a <> session inside the container. We install `tmux` by default in the container. @@ -467,12 +467,12 @@ or even better, by starting a <> session inside the container. We install You can start a second shell and run a command in it at the same time with: .... -./rundocker sh ./run-gdb start_kernel +./run-docker sh ./run-gdb start_kernel .... Docker stops if and only if you quit the initial shell, you can quit this one without consequences. -If you mistakenly run `./rundocker` twice, it opens two mirrored terminals. To quit one of them do link:https://stackoverflow.com/questions/19688314/how-do-you-attach-and-detach-from-dockers-process[]: +If you mistakenly run `./run-docker` twice, it opens two mirrored terminals. To quit one of them do link:https://stackoverflow.com/questions/19688314/how-do-you-attach-and-detach-from-dockers-process[]: .... Ctrl-P Ctrl-Q @@ -494,7 +494,7 @@ sudo apt-get install vinagre Destroy the docker container: .... -./rundocker DELETE +./run-docker DELETE .... Since we mount the guest's working directory on the host git top-level, you will likely not lose data from doing this, just the `apt-get` installs. @@ -509,7 +509,7 @@ mv out.host out After this, to start using Docker again will you need another: .... -./rundocker setup +./run-docker setup .... Tested on: a760cb1196161e913a94684e03cfeaebf71f0cdd diff --git a/rundocker b/run-docker similarity index 100% rename from rundocker rename to run-docker