From a263eb938f8e0ff2fabad9d215f82d5e2a8cec0e Mon Sep 17 00:00:00 2001
From: Jakub Czajka <jakub@ekhem.eu.org>
Date: Thu, 22 Dec 2022 20:35:52 +0100
Subject: [PATCH] [bash] Specify default configuration files.

---
 conf/home/bash.scm | 4 ++--
 home.scm           | 5 +----
 2 files changed, 3 insertions(+), 6 deletions(-)

diff --git a/conf/home/bash.scm b/conf/home/bash.scm
index cc16773..d5dbd6b 100644
--- a/conf/home/bash.scm
+++ b/conf/home/bash.scm
@@ -20,10 +20,10 @@
    (package bash)
    "Packages to be installed by the service.")
   (bash-profile
-   (string)
+   (string "bash/.bash_profile")
    "Dotfile for login shells.")
   (bashrc
-   (string)
+   (string "bash/.bashrc")
    "Dotfile for interactive non-login shells."))
 
 (define (install-bash-packages config)
diff --git a/home.scm b/home.scm
index 39d7da8..a9de340 100644
--- a/home.scm
+++ b/home.scm
@@ -15,10 +15,7 @@
 (home-environment
  (packages (list))
  (services
-  (list (service home-bash-service-type
-		 (home-bash-configuration
-		  (bash-profile "bash/.bash_profile")
-		  (bashrc "bash/.bashrc")))
+  (list (service home-bash-service-type)
 	(service home-symlink-service-type
 		 (list "bash/.config/profile.d/10-xdg.sh"
 		       "bash/.config/profile.d/20-less.sh"))
-- 
2.39.5