id1000: transfer in bash configuration from the distribution repository

1 files changed, 27 insertions, 0 deletions

diff --git a/users/id1000.scm b/users/id1000.scm
index b6aa861..1d4137b 100644
--- a/users/id1000.scm
+++ b/users/id1000.scm
@@ -518,6 +518,32 @@
 
 ;;;
 
+(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*))
@@ -556,6 +582,7 @@
                                                             gnu:home:services:home-xdg-configuration-files-service-type
                                                             git-configuration-files))
       (user-services           (list bash
+                                     bash-configuration
                                      git-configuration))
       (l-services              (append suweren:home:%suweren-home-services
                                        user-services)))