diff options
author | http://davrieb.livejournal.com/ <http://davrieb.livejournal.com/@web> | 2009-09-19 01:45:55 -0400 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2009-09-19 01:45:55 -0400 |
commit | 6c4a2a88a871af5ac42cd80aa48684b114849e3d (patch) | |
tree | 4880c9a7937858b22f320862427b608ffc34a5d0 | |
parent | ada46376cc91c754710fea138f619de72d042ec2 (diff) | |
download | ikiwiki-6c4a2a88a871af5ac42cd80aa48684b114849e3d.tar ikiwiki-6c4a2a88a871af5ac42cd80aa48684b114849e3d.tar.gz |
-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 + |