diff options
author | Pjotr Prins | 2025-08-16 13:30:45 +0200 |
---|---|---|
committer | Pjotr Prins | 2025-08-16 13:31:54 +0200 |
commit | 90fa4fdacffe26c57649cb0515d0679ca19c27cc (patch) | |
tree | 733b32bfe7b3361cef3e32b35c72bfa59c9faa5e | |
parent | bffba8363575af62770875e0b70d040aacaf6730 (diff) | |
download | gn-machines-90fa4fdacffe26c57649cb0515d0679ca19c27cc.tar.gz |
Update virtuoso container to use our default paths, with examples.
Note that n3 thiples appear to work. See gemtext for more.
-rwxr-xr-x | virtuoso-deploy.sh | 17 | ||||
-rw-r--r-- | virtuoso.scm | 2 |
2 files changed, 15 insertions, 4 deletions
diff --git a/virtuoso-deploy.sh b/virtuoso-deploy.sh index 0dd2509..d18caec 100755 --- a/virtuoso-deploy.sh +++ b/virtuoso-deploy.sh @@ -2,6 +2,7 @@ # genenetwork-machines --- Guix configuration for genenetwork machines # Copyright © 2022 Arun Isaac <arunisaac@systemreboot.net> +# Copyright © 2025 Pjotr Prins <pjotr.public01@thebird.nl> # # This file is part of genenetwork-machines. # @@ -19,15 +20,25 @@ # along with genenetwork-machines. If not, see # <https://www.gnu.org/licenses/>. -# Build and install virtuoso container on tux01. +# Build and install virtuoso container. Note the shared path is the sane default. Symlink if necessary. +# See also topics/systems/debug-and-developing-code-with-genenetwork-system-container.gmi container_script=$(guix system container \ + -L ~/guix-bioinformatics \ --network \ --verbosity=3 \ - --share=/export2/guix-containers/virtuoso/var/lib/virtuoso=/var/lib/virtuoso \ - --share=/export2/guix-containers/genenetwork/data/virtuoso=/export/data/virtuoso \ + --share=/export/guix-containers/virtuoso/var/lib/virtuoso=/var/lib/virtuoso \ + --share=/export/guix-containers/virtuoso/data/virtuoso/ttl=/export/data/virtuoso/ttl \ virtuoso.scm) echo $container_script sudo ln --force --symbolic $container_script /usr/local/bin/virtuoso-container sudo ln --force --symbolic /usr/local/bin/virtuoso-container /var/guix/gcroots + +echo "Run virtuoso with: sudo /usr/local/bin/virtuoso-container" +echo "Enter with something like: nsenter -a -t 1692115 /run/current-system/profile/bin/bash --login" +echo "Admin: isql 8891" +echo " ld_dir('/export/data/virtuoso/ttl','test.rdf','http://pjotr.genenetwork.org/');" +echo " rdf_loader_run();" +echo " checkpoint;" +echo "Web: http://localhost:8892/sparql" diff --git a/virtuoso.scm b/virtuoso.scm index 3272f41..ae33dcd 100644 --- a/virtuoso.scm +++ b/virtuoso.scm @@ -34,5 +34,5 @@ (virtuoso-configuration (server-port 8891) (http-server-port 8892) - (dirs-allowed (list "/export/data/virtuoso")))) + (dirs-allowed (list "/export/data/virtuoso/ttl")))) %base-services))) |