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 /.gitignore | |
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 '.gitignore')
0 files changed, 0 insertions, 0 deletions