diff options
author | Robert Helgesson <robert@rycee.net> | 2017-11-12 13:37:59 +0100 |
---|---|---|
committer | Robert Helgesson <robert@rycee.net> | 2017-11-12 13:37:59 +0100 |
commit | 187a12e90a5ddd5d587c306a55ac1162c5c7a46e (patch) | |
tree | 523e25e008cce3e2db89ea27c465a5e08853f352 /home-manager | |
parent | 356c0bf751a55878c448461d8ef1d17f43911acd (diff) |
home-manager: minor cleanup output from generations
Diffstat (limited to 'home-manager')
-rw-r--r-- | home-manager/home-manager | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/home-manager/home-manager b/home-manager/home-manager index 7161f17111b..2e3f2dd90a4 100644 --- a/home-manager/home-manager +++ b/home-manager/home-manager @@ -158,7 +158,8 @@ function doSwitch() { function doListGens() { pushd "/nix/var/nix/profiles/per-user/$USER" > /dev/null 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 } |