From 89609b6b4205fac83f20759a21401dcb86cd79ac Mon Sep 17 00:00:00 2001 From: Arun Isaac Date: Fri, 29 Apr 2022 16:50:28 +0530 Subject: topics: Switch to guix shell in virtuoso topic. * topics/systems/virtuoso.gmi: Switch from guix environment to guix shell. --- topics/systems/virtuoso.gmi | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) (limited to 'topics/systems') diff --git a/topics/systems/virtuoso.gmi b/topics/systems/virtuoso.gmi index 97422c5..0216d14 100644 --- a/topics/systems/virtuoso.gmi +++ b/topics/systems/virtuoso.gmi @@ -10,7 +10,7 @@ On Penguin2 virtuoso is running by default as a shepherd servive, see => ./shepherd.gmi ``` -guix environment --ad-hoc virtuoso-ose -- virtuoso-t -f +guix shell virtuoso-ose -- virtuoso-t -f ``` => https://git.genenetwork.org/efraim/shepherd-services/src/branch/master/shepherd/init.d/virtuoso.scm penguin2:/home/shepherd/shepherd-services/shepherd/init.d/virtuoso.scm @@ -70,10 +70,8 @@ cp /export/virtuoso/var/lib/virtuoso/db/virtuoso.ini . and edit it to change paths and ports - use non-priviliged ports(!). A full diff is below. Start the server in a screen or tmux (it may ask for creating ./db): ``` -penguin2:~/services/virtuoso$ ~/.config/guix/current/bin/guix environment --ad-hoc virtuoso-ose glibc-locales - -penguin2:~/services/virtuoso$ /gnu/store/9aqd4jmkafhkdm095hnmxpxzws3ym3wd-virtuoso-ose-7.2.5/bin/virtuoso-t +foreground +configfile virtuoso.ini - +penguin2:~/services/virtuoso$ ~/.config/guix/current/bin/guix shell virtuoso-ose glibc-locales +penguin2:~/services/virtuoso [env]$ /gnu/store/9aqd4jmkafhkdm095hnmxpxzws3ym3wd-virtuoso-ose-7.2.5/bin/virtuoso-t +foreground +configfile virtuoso.ini 03:34:50 HTTP/WebDAV server online at 28890 03:34:50 Server online at 21111 (pid 57078) ``` -- cgit v1.2.3