GNU bug report logs -
#68169
[PATCH 0/9] Add guix-home config to /etc/skel
Previous Next
Reported by: Efraim Flashner <efraim <at> flashner.co.il>
Date: Sun, 31 Dec 2023 11:35:02 UTC
Severity: normal
Tags: patch
Done: Efraim Flashner <efraim <at> flashner.co.il>
Bug is archived. No further changes may be made.
Full log
View this message in rfc822 format
* gnu/home/services/shells.scm (zsh-file-zprofile): Use the zprofile
defined in (gnu system shadow) as a base.
Change-Id: Iaf4c4f66d1ccbc0bd0166136b3d082229bdec201
---
gnu/home/services/shells.scm | 8 ++------
1 file changed, 2 insertions(+), 6 deletions(-)
diff --git a/gnu/home/services/shells.scm b/gnu/home/services/shells.scm
index 9dd56f634a..db82a7cff3 100644
--- a/gnu/home/services/shells.scm
+++ b/gnu/home/services/shells.scm
@@ -20,7 +20,7 @@
(define-module (gnu home services shells)
#:use-module (gnu services configuration)
- #:autoload (gnu system shadow) (%default-bashrc)
+ #:autoload (gnu system shadow) (%default-bashrc %default-zprofile)
#:use-module (gnu home services utils)
#:use-module (gnu home services)
#:use-module (gnu packages shells)
@@ -189,12 +189,8 @@ (define (zsh-file-zshenv config)
(define (zsh-file-zprofile config)
(mixed-text-file
"zprofile"
+ (plain-file-content %default-zprofile)
"\
-# Set up the system, user profile, and related variables.
-source /etc/profile
-# Set up the home environment profile.
-source ~/.profile
-
# It's only necessary if zsh is a login shell, otherwise profiles will
# be already sourced by bash
"
--
Efraim Flashner <efraim <at> flashner.co.il> רנשלפ םירפא
GPG key = A28B F40C 3E55 1372 662D 14F7 41AA E7DC CA3D 8351
Confidentiality cannot be guaranteed on emails sent or received unencrypted
This bug report was last modified 1 year and 124 days ago.
Previous Next
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.