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 /etc | |
| parent | 8155a209071f981fbf359975f463be4bcf8fa23e (diff) | |
| download | patches-1c795c4fd2c0f82892c5d1683de197868ecc5214.tar patches-1c795c4fd2c0f82892c5d1683de197868ecc5214.tar.gz | |
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 'etc')
0 files changed, 0 insertions, 0 deletions