1
0
Fork 0
mirror of https://github.com/nix-community/home-manager synced 2024-11-23 11:39:46 +01:00

home-manager: improve the generation timestamp format

This commit is contained in:
Robert Helgesson 2018-01-27 09:39:45 +01:00
parent 9d3d7426aa
commit a9dc7fa7cc
No known key found for this signature in database
GPG key ID: C3DB11069E65DC86

View file

@ -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
}