master
parent
ada46376cc
commit
6c4a2a88a8
|
@ -87,3 +87,21 @@ Do I have it right?
|
||||||
$EDITOR "$pagename"
|
$EDITOR "$pagename"
|
||||||
|
|
||||||
>>>>> -- [[Jon]]
|
>>>>> -- [[Jon]]
|
||||||
|
|
||||||
|
> A quick workaround for me to get modification times right is the following
|
||||||
|
> little zsh script, which unfortynately only works for git:
|
||||||
|
|
||||||
|
#!/usr/bin/env zsh
|
||||||
|
|
||||||
|
set +x
|
||||||
|
|
||||||
|
for FILE in **/*(.); do
|
||||||
|
TIMES="`git log --follow --pretty=format:%ai $FILE`"
|
||||||
|
#CTIME="`echo $TIMES | tail -n1`"
|
||||||
|
MTIME="`echo $TIMES | head -n1`"
|
||||||
|
|
||||||
|
echo touch -m -d "$MTIME" $FILE
|
||||||
|
touch -m -d "$MTIME" $FILE
|
||||||
|
|
||||||
|
done
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue