diff options
| -rw-r--r-- | README.org | 28 | ||||
| -rwxr-xr-x | virtuoso-deploy.sh | 31 | ||||
| -rw-r--r-- | virtuoso.scm | 37 |
3 files changed, 96 insertions, 0 deletions
@@ -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))) |