From fc65c2a2c056ee9f313631da6e5f93adec277dd5 Mon Sep 17 00:00:00 2001
From: Pjotr Prins
Date: Tue, 11 Jul 2023 02:29:18 -0500
Subject: README: host names

---
 README.org | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/README.org b/README.org
index 59b892e..0982ae8 100644
--- a/README.org
+++ b/README.org
@@ -3,7 +3,7 @@ containers.
 
 * GeneNetwork development container
 
-The GeneNetwork development container is run on /penguin2/. It runs
+The GeneNetwork development container is run on /tux02/. It runs
 continuous integration and continuous deployment services for
 genenetwork2, genenetwork3 and several other associated projects.
 
@@ -14,7 +14,7 @@ pulled and available, on /penguin2/, run
 $ ./genenetwork-development-deploy.sh
 #+END_SRC
 
-/penguin2/ is configured with a systemd service to run this
+/tux02/ is configured with a systemd service to run this
 container. Restart it.
 #+BEGIN_SRC shell
 $ sudo systemctl restart genenetwork-development-container
@@ -22,17 +22,17 @@ $ sudo systemctl restart genenetwork-development-container
 
 * Virtuoso container for tux01 production
 
-The virtuoso container is run on /tux01/ production. It runs virtuoso
+The virtuoso container is run on /tux02/ production. It runs virtuoso
 alone.
 
 To build and install the container, you will need the
 guix-bioinformatics channel. Once guix-bioinformatics is pulled and
-available, on /tux01/, run
+available, on /tux02/, run
 #+begin_src shell
   $ ./virtuoso-deploy.sh
 #+end_src
 
-/tux01/ is configured with a systemd service to run this
+The container is configured with a systemd service to run this
 container. Restart it.
 #+begin_src shell
   $ sudo systemctl restart virtuoso-container
-- 
cgit v1.2.3