Mirrors/home-manager
1
0
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity

home-manager: minor cleanup output from generations

Browse source
This commit is contained in:
Robert Helgesson 2017-11-12 13:37:59 +01:00
parent 356c0bf751
commit 187a12e90a
No known key found for this signature in database
GPG key ID: C3DB11069E65DC86
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
home-manager/home-manager
View file

@ -158,7 +158,8 @@ function doSwitch() {
function doListGens() { function doListGens() {
pushd "/nix/var/nix/profiles/per-user/$USER" > /dev/null pushd "/nix/var/nix/profiles/per-user/$USER" > /dev/null
ls --color=yes -gG --sort time home-manager-*-link \ ls --color=yes -gG --sort time home-manager-*-link \
| cut -d' ' -f 4- | cut -d' ' -f 4- \
| sed -E 's/home-manager-([[:digit:]]*)-link/id \1/'
popd > /dev/null popd > /dev/null
} }