id1000: transfer out common bash configuration to sovereign repository

1 files changed, 1 insertions, 27 deletions

diff --git a/users/id1000.scm b/users/id1000.scm
index a0f850d..17ecdb8 100644
--- a/users/id1000.scm
+++ b/users/id1000.scm
@@ -510,32 +510,6 @@
 
 ;;;
 
-(define bash-prompt-configuration-core
-  "    PS1='\\n\\n\\t $?\\n\\u@\\H \\w\\n\\! ")
-
-(define bash-prompt-configuration
-  (mixed-text-file "bash-prompt"
-                   "\n"
-                   "if [ -n \"$GUIX_ENVIRONMENT\" ] \n"
-                   "then\n"
-                   bash-prompt-configuration-core
-                   "[env] \\$ '\n"
-                   "else\n"
-                   bash-prompt-configuration-core
-                   "\\$ '\n"
-                   "fi"))
-
-(define bash-extension
-  (gnu:home:services:shells:home-bash-extension
-    (aliases      (list '("edit" . "$EDITOR")))
-    (bash-profile (list bash-prompt-configuration))
-    (bashrc       (list bash-prompt-configuration))))
-
-(define bash-configuration
-  (gnu:services:simple-service 'uid1000-bash-configuration
-                               gnu:home:services:shells:home-bash-service-type
-                               bash-extension))
-
 (define-public dkim-service
   (gnu:services:service dkimproxy-out-service-type
 	   dkimproxy-out-configuration*))
@@ -574,7 +548,7 @@
                                                             gnu:home:services:home-xdg-configuration-files-service-type
                                                             git-configuration-files))
       (user-services           (list bash
-                                     bash-configuration
+                                     sovereign:systems:bash-configuration
                                      git-configuration))
       (l-services              (append suweren:home:%suweren-home-services
                                        user-services)))