From f1b32a21b7c45e3b974ecb543d845c2246339367 Mon Sep 17 00:00:00 2001
From: Efraim Flashner
Date: Tue, 19 Sep 2023 12:55:31 +0300
Subject: Update pluto notebook service and julia packages

---
 gn/services/pluto.scm | 27 ++++-----------------------
 1 file changed, 4 insertions(+), 23 deletions(-)

(limited to 'gn/services/pluto.scm')

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
-- 
cgit v1.2.3