diff options
| author | Philip McGrath <philip@philipmcgrath.com> | 2022-07-03 22:35:03 -0400 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2022-07-04 23:38:38 +0200 |
| commit | 3348e485b7229e062e563945ed7e6ac216f25125 (patch) | |
| tree | 7ebcd12acf02655a4c720b3e3107031a27036e6c /scripts | |
| parent | 23aafc800c9e678662766440916449ec5bbce830 (diff) | |
| download | guix-3348e485b7229e062e563945ed7e6ac216f25125.tar.gz | |
etc/guix-install.sh: Check for profile from 'guix home'.
If "$HOME/.guix-home/profile" exists, use it for GUIX_PROFILE instead of "$HOME/.guix-profile". * etc/guix-install.sh (sys_create_init_profile): Check for 'guix home' profile. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions