aboutsummaryrefslogtreecommitdiff
path: root/README.org
diff options
context:
space:
mode:
Diffstat (limited to 'README.org')
-rw-r--r--README.org6
1 files changed, 2 insertions, 4 deletions
diff --git a/README.org b/README.org
index 74be432..f0c1d3a 100644
--- a/README.org
+++ b/README.org
@@ -5,7 +5,7 @@ The git repo lives at https://git.genenetwork.org/gn-machines/
* GeneNetwork development container
-The GeneNetwork development container is run on /tux02/. It runs
+The GeneNetwork development container is currently run on /tux02/. It runs
continuous integration and continuous deployment services for
genenetwork2, genenetwork3 and several other associated projects.
@@ -55,9 +55,7 @@ You can get a shell into the container with something like:
sudo guix container exec 89086 /run/current-system/profile/bin/bash --login
#+END_SRC
-When you start the container, you can get a shell into the container using the
-~nsenter~ command. You will need the process ID of the container, which your
-can get with something like:
+When you start the container, you can get a shell into the container using the ~nsenter~ command. You will need the process ID of the container, which you can see on container startup or on your can get with something like:
#+BEGIN_SRC sh
ps -u root -f --forest | grep -A4 '/usr/local/bin/genenetwork-development-container'