diff options
| -rw-r--r-- | doc/forum/How_does_ikiwiki_remember_times__63__.mdwn | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/doc/forum/How_does_ikiwiki_remember_times__63__.mdwn b/doc/forum/How_does_ikiwiki_remember_times__63__.mdwn index 5522cbf45..cb14df77f 100644 --- a/doc/forum/How_does_ikiwiki_remember_times__63__.mdwn +++ b/doc/forum/How_does_ikiwiki_remember_times__63__.mdwn @@ -87,3 +87,21 @@ Do I have it right? $EDITOR "$pagename" >>>>> -- [[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 + |