diff options
Diffstat (limited to 'gn/services/pluto.scm')
| -rw-r--r-- | gn/services/pluto.scm | 14 |
1 files changed, 13 insertions, 1 deletions
diff --git a/gn/services/pluto.scm b/gn/services/pluto.scm index 720b769..64e82ac 100644 --- a/gn/services/pluto.scm +++ b/gn/services/pluto.scm @@ -43,9 +43,11 @@ (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 "/runpluto")) + (list #$(file-append package "/runsliderservice")) #:log-file "/var/log/pluto.log" #:user "julia" #:group "julia" @@ -58,6 +60,16 @@ (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")) + #:log-file "/var/log/pluto.log" + #:user "julia" + #:group "julia" + ;; This prevents the service from using /root as $HOME. + ;#:environment-variables '() + )) (stop #~(make-kill-destructor)))))))) (define pluto-service-type |