diff options
| author | Rutherther <rutherther@ditigal.xyz> | 2025-12-25 22:45:15 +0100 |
|---|---|---|
| committer | Rutherther <rutherther@ditigal.xyz> | 2026-02-07 17:00:09 +0100 |
| commit | 175a8d86c931a9f520d0e7f94831a55c364a32fe (patch) | |
| tree | 6b1c0a8e8a9d7a2c6680f98f1ce13d01ed0e756a /etc | |
| parent | b7a291a3c7ab704f7514db5a26e6b5c4d22d6240 (diff) | |
guix-install.sh: Check if ~/.guix-profile exists properly.
Currently the check only looks if ~/.guix-profile symlink exists.
That, however, is not sufficient. This file might be created prior to creation
of the first generation of user's profile.
So we should be checking that the profile does have the file we're looking for
- etc/profile. This is the same way how /etc/profile solves this on Guix System.
* etc/guix-install.sh (sys_create_init_profile): Properly check if
~/.guix-profile exists.
Change-Id: I1a650cb5b845ca96705361e332409c3b49000057
Signed-off-by: Rutherther <rutherther@ditigal.xyz>
Merges: #5123
Diffstat (limited to 'etc')
| -rwxr-xr-x | etc/guix-install.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/etc/guix-install.sh b/etc/guix-install.sh index 642a89548c1..de0a916e65b 100755 --- a/etc/guix-install.sh +++ b/etc/guix-install.sh | |||
| @@ -799,7 +799,7 @@ export MANPATH="$GUIX_PROFILE/share/man:${MANPATH:-}" | |||
| 799 | 799 | ||
| 800 | # User's default profile, if it exists | 800 | # User's default profile, if it exists |
| 801 | GUIX_PROFILE="$HOME/.guix-profile" | 801 | GUIX_PROFILE="$HOME/.guix-profile" |
| 802 | if [ -L "$GUIX_PROFILE" ]; then | 802 | if [ -f "$GUIX_PROFILE/etc/profile" ]; then |
| 803 | . "$GUIX_PROFILE/etc/profile" | 803 | . "$GUIX_PROFILE/etc/profile" |
| 804 | 804 | ||
| 805 | # see info '(guix) Application Setup' | 805 | # see info '(guix) Application Setup' |