summaryrefslogtreecommitdiff
path: root/topics/systems/virtuoso.gmi
diff options
context:
space:
mode:
authorArun Isaac2022-04-29 16:50:28 +0530
committerArun Isaac2022-04-29 17:13:37 +0530
commit89609b6b4205fac83f20759a21401dcb86cd79ac (patch)
treef3ff7670ec0704272ef0cdf9a00ad82cc239ee9c /topics/systems/virtuoso.gmi
parente1f3eebdc437a462ef25d8e3c629b8b23acd8e55 (diff)
downloadgn-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/virtuoso.gmi')
-rw-r--r--topics/systems/virtuoso.gmi8
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)
```