diff options
author | Ludovic Courtès <ludo@gnu.org> | 2018-10-12 00:12:00 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2018-10-12 00:13:14 +0200 |
commit | 1c795c4fd2c0f82892c5d1683de197868ecc5214 (patch) | |
tree | fda7f5a6339a785a42f8504d38e79229190b1abf /.gitignore | |
parent | 8155a209071f981fbf359975f463be4bcf8fa23e (diff) | |
download | guix-1c795c4fd2c0f82892c5d1683de197868ecc5214.tar.gz guix-1c795c4fd2c0f82892c5d1683de197868ecc5214.zip |
profiles: 'user-friendly-profile' now recognizes ~/.config/guix/current.
* guix/profiles.scm (%known-shorthand-profiles): New variable.
(user-friendly-profile): Use it.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions