From 187a12e90a5ddd5d587c306a55ac1162c5c7a46e Mon Sep 17 00:00:00 2001 From: Robert Helgesson Date: Sun, 12 Nov 2017 13:37:59 +0100 Subject: [PATCH] home-manager: minor cleanup output from generations --- home-manager/home-manager | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/home-manager/home-manager b/home-manager/home-manager index 7161f171..2e3f2dd9 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 }