summaryrefslogtreecommitdiff
path: root/epistemia
diff options
context:
space:
mode:
authorVineet Kumar <git@vineetk.net>2026-05-14 22:04:59 -0400
committerVineet Kumar <git@vineetk.net>2026-05-14 22:24:24 -0400
commit2f59aff39fcdd5ce6fa7d28499168d5b7d79c481 (patch)
treecc75394781308c3b5948ea9618dcfeac4e2cca38 /epistemia
parent655b8f354aa651ca89b3446157f084e23f84d000 (diff)
saklas: change git account's shell to bash
makes creating git repos with proper permissions easier
Diffstat (limited to 'epistemia')
-rw-r--r--epistemia/files/emacs/.config/emacs/init.el15
-rw-r--r--epistemia/systems/saklas.scm2
2 files changed, 8 insertions, 9 deletions
diff --git a/epistemia/files/emacs/.config/emacs/init.el b/epistemia/files/emacs/.config/emacs/init.el
index a54b9b8..4a5f274 100644
--- a/epistemia/files/emacs/.config/emacs/init.el
+++ b/epistemia/files/emacs/.config/emacs/init.el
@@ -333,14 +333,13 @@
333 "Completed" 333 "Completed"
334 "Configs" 334 "Configs"
335 "Undergraduate Projects")))) 335 "Undergraduate Projects"))))
336 (cd "/ssh:saklas:/data/src/bare/") 336 (let ((default-directory "/ssh:git@saklas:/data/src/bare/"))
337 (shell-command (format "git init --bare %s.git" name)) 337 (process-file "git" nil "git output" nil "init" "--bare" (format "%s.git" name))
338 (cd (format "%s.git" name)) 338 (with-temp-file (format "%s.git/description" name)
339 (with-temp-file "description" 339 (insert desc))
340 (insert desc)) 340 (with-temp-file (format "%s.git/cgitrc" name)
341 (with-temp-file "cgitrc" 341 (insert (format "owner=%s\nsection=%s\n"
342 (insert (format "owner=%s\nsection=%s\n" 342 "Vineet K" section)))))
343 "Vineet K" section))))
344 343
345;; hl-todo -- highlights TODO/BUG/FIXME/etc. keywords 344;; hl-todo -- highlights TODO/BUG/FIXME/etc. keywords
346(use-package hl-todo 345(use-package hl-todo
diff --git a/epistemia/systems/saklas.scm b/epistemia/systems/saklas.scm
index 7678e17..5aba985 100644
--- a/epistemia/systems/saklas.scm
+++ b/epistemia/systems/saklas.scm
@@ -179,7 +179,7 @@ table inet filter {
179 (name "git") 179 (name "git")
180 (comment "git account") 180 (comment "git account")
181 (group "git") 181 (group "git")
182 (shell (file-append git "/bin/git-shell")) 182 (shell (file-append bash "/bin/bash"))
183 (home-directory "/data/src/bare") 183 (home-directory "/data/src/bare")
184 (system? #t)) 184 (system? #t))
185 (user-account 185 (user-account