From dc3d27b29f7c50a55baf8ee259e5ca4854f62a68 Mon Sep 17 00:00:00 2001
From: Arun Isaac
Date: Wed, 12 Oct 2022 01:04:58 +0530
Subject: Add virtuoso container for tux01 production.

* virtuoso.scm, virtuoso-deploy.sh: New files.
* README.org (Virtuoso container for tux01 production): New section.
---
 README.org         | 28 ++++++++++++++++++++++++++++
 virtuoso-deploy.sh | 31 +++++++++++++++++++++++++++++++
 virtuoso.scm       | 37 +++++++++++++++++++++++++++++++++++++
 3 files changed, 96 insertions(+)
 create mode 100755 virtuoso-deploy.sh
 create mode 100644 virtuoso.scm

diff --git a/README.org b/README.org
index b9f11cf..5b39b36 100644
--- a/README.org
+++ b/README.org
@@ -19,3 +19,31 @@ container. Restart it.
 #+BEGIN_SRC shell
 $ sudo systemctl restart genenetwork-development-container
 #+END_SRC
+
+* Virtuoso container for tux01 production
+
+The virtuoso container is run on /tux01/ 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
+#+begin_src shell
+  $ ./virtuoso-deploy.sh
+#+end_src
+
+/tux01/ is configured with a systemd service to run this
+container. Restart it.
+#+begin_src shell
+  $ sudo systemctl restart virtuoso-container
+#+end_src
+
+The default password of the virtuoso dba user is dba. Set a new
+password. Pay attention to the single versus double quoting.
+#+begin_src
+SQL> set password "dba" "new-password";
+#+end_src
+Disable the dav user.
+#+begin_src
+SQL> UPDATE ws.ws.sys_dav_user SET u_account_disabled=1 WHERE u_name='dav';
+#+end_src
diff --git a/virtuoso-deploy.sh b/virtuoso-deploy.sh
new file mode 100755
index 0000000..4641f6c
--- /dev/null
+++ b/virtuoso-deploy.sh
@@ -0,0 +1,31 @@
+#! /bin/sh -e
+
+# genenetwork-machines --- Guix configuration for genenetwork machines
+# Copyright © 2022 Arun Isaac <arunisaac@systemreboot.net>
+#
+# This file is part of genenetwork-machines.
+#
+# genenetwork-machines is free software: you can redistribute it
+# and/or modify it under the terms of the GNU General Public License
+# as published by the Free Software Foundation, either version 3 of
+# the License, or (at your option) any later version.
+#
+# genenetwork-machines is distributed in the hope that it will be
+# useful, but WITHOUT ANY WARRANTY; without even the implied warranty
+# of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+# General Public License for more details.
+#
+# You should have received a copy of the GNU General Public License
+# along with genenetwork-machines.  If not, see
+# <https://www.gnu.org/licenses/>.
+
+# Build and install virtuoso container on tux01.
+
+container_script=$(guix system container \
+                        --network \
+                        --verbosity=3 \
+                        --share=/var/guix-containers/virtuoso/var/lib/virtuoso=/var/lib/virtuoso \
+                        virtuoso.scm)
+
+echo $container_script
+sudo ln --force --symbolic $container_script /usr/local/bin/virtuoso-container
diff --git a/virtuoso.scm b/virtuoso.scm
new file mode 100644
index 0000000..4477009
--- /dev/null
+++ b/virtuoso.scm
@@ -0,0 +1,37 @@
+;;; genenetwork-machines --- Guix configuration for genenetwork machines
+;;; Copyright © 2022 Arun Isaac <arunisaac@systemreboot.net>
+;;;
+;;; This file is part of genenetwork-machines.
+;;;
+;;; genenetwork-machines is free software: you can redistribute it
+;;; and/or modify it under the terms of the GNU General Public License
+;;; as published by the Free Software Foundation, either version 3 of
+;;; the License, or (at your option) any later version.
+;;;
+;;; genenetwork-machines is distributed in the hope that it will be
+;;; useful, but WITHOUT ANY WARRANTY; without even the implied
+;;; warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
+;;; See the GNU General Public License for more details.
+;;;
+;;; You should have received a copy of the GNU General Public License
+;;; along with genenetwork-machines.  If not, see
+;;; <https://www.gnu.org/licenses/>.
+
+(use-modules (gnu)
+             (gn services databases))
+
+(operating-system
+  (host-name "virtuoso")
+  (timezone "UTC")
+  (locale "en_US.utf8")
+  (bootloader (bootloader-configuration
+               (bootloader grub-bootloader)
+               (targets (list "/dev/sdX"))))
+  (file-systems %base-file-systems)
+  (users %base-user-accounts)
+  (packages %base-packages)
+  (services (cons (service virtuoso-service-type
+                           (virtuoso-configuration
+                            (server-port 8891)
+                            (http-server-port 8892)))
+                  %base-services)))
-- 
cgit v1.2.3