yodate: skip non-numbers at the beginning of the file

This commit is contained in:
Motiejus Jakštys 2024-04-22 14:56:13 +03:00 committed by Motiejus Jakštys
parent 90f9999306
commit 30c0e1b868

View File

@ -217,7 +217,7 @@ in {
}; };
initExtra = '' initExtra = ''
t() { git rev-parse --show-toplevel; } t() { git rev-parse --show-toplevel; }
yodate() { date --date=@"''${1:0:10}" +"%F %T"; } yodate() { date --date=@$(echo "$1" | sed -E 's/^[^0-9]*(..........).*/\1/') +"%F %T"; }
source ${./gg.sh} source ${./gg.sh}
''; '';
}; };