diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2018-10-20 17:51:58 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2018-11-05 00:08:46 +0100 |
| commit | ab3c60ace3bdd376255463c6475b62f6d17e5978 (patch) | |
| tree | 5e9ada35b0062f7462b9050c2168e3980f122bff /etc | |
| parent | 97b7b96efc2a65f2805567191237451b34e4d966 (diff) | |
| download | guix-ab3c60ace3bdd376255463c6475b62f6d17e5978.tar.gz | |
install: Parameterize the profile name for 'populate-single-profile-directory'.
* gnu/build/install.scm (populate-single-profile-directory): Add #:profile-name. Replace hard-coded occurrences of "guix-profile" with PROFILE-NAME. Make the symlink part under /root a function of PROFILE-NAME.
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions