diff options
| author | Efraim Flashner | 2023-09-19 12:55:31 +0300 |
|---|---|---|
| committer | Efraim Flashner | 2023-09-19 12:59:33 +0300 |
| commit | f1b32a21b7c45e3b974ecb543d845c2246339367 (patch) | |
| tree | 1e135254225e8bb01a3ce519752d08ddd41684c9 /gn/services | |
| parent | 1e16fe6c90c88cb0a22716a2f9fe04b9a67981d1 (diff) | |
| download | guix-bioinformatics-f1b32a21b7c45e3b974ecb543d845c2246339367.tar.gz | |
Update pluto notebook service and julia packages
Diffstat (limited to 'gn/services')
| -rw-r--r-- | gn/services/pluto.scm | 27 |
1 files changed, 4 insertions, 23 deletions
diff --git a/gn/services/pluto.scm b/gn/services/pluto.scm index 64e82ac..420e2cf 100644 --- a/gn/services/pluto.scm +++ b/gn/services/pluto.scm @@ -43,33 +43,14 @@ (requirement '(networking)) (modules '((gnu build shepherd) (gnu system file-systems))) - #; - (start #~(make-forkexec-constructor/container - ;(list #$(file-append package "/runpluto.sh") #$port) - ;(list #$(file-append package "/runpluto")) - (list #$(file-append package "/runsliderservice")) - #:log-file "/var/log/pluto.log" - #:user "julia" - #:group "julia" - ;; This prevents the service from using /root as $HOME. - #:environment-variables '() - #:mappings (list (file-system-mapping - (source "/home/jovyan") - (target source) - (writable? #t)) - (file-system-mapping - (source "/etc/ssl") - (target source))))) (start #~(make-forkexec-constructor - ;(list #$(file-append package "/runpluto.sh") #$port) - ;(list #$(file-append package "/runpluto")) - '(#$(file-append package "/runsliderservice")) + '(#$(file-append package "/bin/runsliderserver")) #:log-file "/var/log/pluto.log" #:user "julia" #:group "julia" - ;; This prevents the service from using /root as $HOME. - ;#:environment-variables '() - )) + #:environment-variables + (list "SSL_CERT_DIR=/etc/ssl/certs" + "SSL_CERT_FILE=/etc/ssl/certs/ca-certificates.crt"))) (stop #~(make-kill-destructor)))))))) (define pluto-service-type |