diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2018-05-13 16:08:24 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2018-06-09 12:02:28 +0200 |
| commit | efcb4441f1c2dd6729938ca68f2fdfd6243e24e4 (patch) | |
| tree | 17221335f331cb8bbe5d46b6df2361e326c78036 /.gitignore | |
| parent | cdc5b9320f34a73b0a05a8915872e2aa21ff1197 (diff) | |
| download | guix-efcb4441f1c2dd6729938ca68f2fdfd6243e24e4.tar guix-efcb4441f1c2dd6729938ca68f2fdfd6243e24e4.tar.gz | |
profiles: Add '%current-profile', 'user-friendly-profile', & co.
* guix/scripts/package.scm (%user-profile-directory)
(%profile-directory, %current-profile, canonicalize-profile)
(user-friendly-profile): Move to...
* guix/profiles.scm: ... here.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions