diff options
author | Robert Helgesson <robert@rycee.net> | 2018-01-27 09:39:45 +0100 |
---|---|---|
committer | Robert Helgesson <robert@rycee.net> | 2018-01-27 09:47:30 +0100 |
commit | a9dc7fa7cc87842372c6df9d1eff5e8369204523 (patch) | |
tree | 484b38cb34519e4dca7c809731cd1db2dbc3458b /home-manager/home-manager | |
parent | 9d3d7426aad3b826c330170ec64a7959e56547ca (diff) |
home-manager: improve the generation timestamp format
Diffstat (limited to 'home-manager/home-manager')
-rw-r--r-- | home-manager/home-manager | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/home-manager/home-manager b/home-manager/home-manager index 460cf8d392d..f56ba1cdc28 100644 --- a/home-manager/home-manager +++ b/home-manager/home-manager @@ -157,9 +157,9 @@ function doSwitch() { function doListGens() { pushd "/nix/var/nix/profiles/per-user/$USER" > /dev/null - ls --color=yes -gG --sort time home-manager-*-link \ + ls --color=yes -gG --time-style=long-iso --sort time home-manager-*-link \ | cut -d' ' -f 4- \ - | sed -E 's/home-manager-([[:digit:]]*)-link/id \1/' + | sed -E 's/home-manager-([[:digit:]]*)-link/: id \1/' popd > /dev/null } |