$EDITOR "$pagename"
>>>>> -- [[Jon]]
+
+> A quick workaround for me to get modification times right is the following
+> little zsh script, which unfortunately only works for git:
+
+ #!/usr/bin/env zsh
+
+ set +x
+
+ for FILE in **/*(.); do
+ TIMES="`git log --pretty=format:%ai $FILE`"
+ MTIME="`echo $TIMES | head -n1`"
+
+ if [ ! -z $MTIME ]; then
+ echo touch -m -d "$MTIME" $FILE
+ touch -m -d "$MTIME" $FILE
+ fi
+
+ done
+
+> --[[David_Riebenbauer]]