diff options
author | Arun Isaac | 2022-04-29 16:50:28 +0530 |
---|---|---|
committer | Arun Isaac | 2022-04-29 17:13:37 +0530 |
commit | 89609b6b4205fac83f20759a21401dcb86cd79ac (patch) | |
tree | f3ff7670ec0704272ef0cdf9a00ad82cc239ee9c /topics/systems | |
parent | e1f3eebdc437a462ef25d8e3c629b8b23acd8e55 (diff) | |
download | gn-gemtext-89609b6b4205fac83f20759a21401dcb86cd79ac.tar.gz |
topics: Switch to guix shell in virtuoso topic.
* topics/systems/virtuoso.gmi: Switch from guix
environment to guix shell.
Diffstat (limited to 'topics/systems')
-rw-r--r-- | topics/systems/virtuoso.gmi | 8 |
1 files changed, 3 insertions, 5 deletions
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) ``` |