diff options
Diffstat (limited to 'gn/services')
| -rw-r--r-- | gn/services/pluto.scm | 14 |
1 files changed, 11 insertions, 3 deletions
diff --git a/gn/services/pluto.scm b/gn/services/pluto.scm index d137314..720b769 100644 --- a/gn/services/pluto.scm +++ b/gn/services/pluto.scm @@ -44,16 +44,20 @@ (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.sh") #$port) + (list #$(file-append package "/runpluto")) #:log-file "/var/log/pluto.log" #:user "julia" #:group "julia" - ;; This needs to exist. Unclear why. + ;; This prevents the service from using /root as $HOME. #:environment-variables '() #:mappings (list (file-system-mapping (source "/home/jovyan") (target source) - (writable? #t))))) + (writable? #t)) + (file-system-mapping + (source "/etc/ssl") + (target source))))) (stop #~(make-kill-destructor)))))))) (define pluto-service-type @@ -86,6 +90,10 @@ ;; No firmware for VMs. (firmware '()) (packages (list nss-certs)) + ;; For testing + ;(packages (cons* nss-certs %base-packages)) + + (setuid-programs '()) (services (list (service pluto-service-type (pluto-configuration |