diff options
| author | Efraim Flashner <efraim@flashner.co.il> | 2023-12-31 12:18:17 +0200 |
|---|---|---|
| committer | Efraim Flashner <efraim@flashner.co.il> | 2024-01-17 11:11:10 +0200 |
| commit | 0f967dde765cafb4cc64342beef01de49b85d38c (patch) | |
| tree | 6012764ff8093d836f6c5416a9506f2c2acb494a | |
| parent | 5ef5095ab101874e1ddee99fabb9c14e30888b9d (diff) | |
home: services: zsh: Use unified zprofile.
* gnu/home/services/shells.scm (zsh-file-zprofile): Use the zprofile
defined in (gnu system shadow) as a base.
Change-Id: Iaf4c4f66d1ccbc0bd0166136b3d082229bdec201
| -rw-r--r-- | gnu/home/services/shells.scm | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/gnu/home/services/shells.scm b/gnu/home/services/shells.scm index 9dd56f634a6..db82a7cff35 100644 --- a/gnu/home/services/shells.scm +++ b/gnu/home/services/shells.scm | |||
| @@ -20,7 +20,7 @@ | |||
| 20 | 20 | ||
| 21 | (define-module (gnu home services shells) | 21 | (define-module (gnu home services shells) |
| 22 | #:use-module (gnu services configuration) | 22 | #:use-module (gnu services configuration) |
| 23 | #:autoload (gnu system shadow) (%default-bashrc) | 23 | #:autoload (gnu system shadow) (%default-bashrc %default-zprofile) |
| 24 | #:use-module (gnu home services utils) | 24 | #:use-module (gnu home services utils) |
| 25 | #:use-module (gnu home services) | 25 | #:use-module (gnu home services) |
| 26 | #:use-module (gnu packages shells) | 26 | #:use-module (gnu packages shells) |
| @@ -189,12 +189,8 @@ another process for example).")) | |||
| 189 | (define (zsh-file-zprofile config) | 189 | (define (zsh-file-zprofile config) |
| 190 | (mixed-text-file | 190 | (mixed-text-file |
| 191 | "zprofile" | 191 | "zprofile" |
| 192 | (plain-file-content %default-zprofile) | ||
| 192 | "\ | 193 | "\ |
| 193 | # Set up the system, user profile, and related variables. | ||
| 194 | source /etc/profile | ||
| 195 | # Set up the home environment profile. | ||
| 196 | source ~/.profile | ||
| 197 | |||
| 198 | # It's only necessary if zsh is a login shell, otherwise profiles will | 194 | # It's only necessary if zsh is a login shell, otherwise profiles will |
| 199 | # be already sourced by bash | 195 | # be already sourced by bash |
| 200 | " | 196 | " |
