diff options
author | Thomas Schwinge <thomas@schwinge.name> | 2010-06-09 15:15:12 +0200 |
---|---|---|
committer | Thomas Schwinge <thomas@schwinge.name> | 2010-06-09 15:15:12 +0200 |
commit | 6fc97a71b0594afa47781571654e71cb18d4d08a (patch) | |
tree | 4b3773dc9d920436d41566f86ec793eac35eb80d /render_locally | |
parent | 6b1c0573eaff7d22f625452cfbfe2967c0647ea2 (diff) |
.library/IkiWiki/Plugin/reset_mtimes.pm: New.
Diffstat (limited to 'render_locally')
-rwxr-xr-x | render_locally | 21 |
1 files changed, 16 insertions, 5 deletions
diff --git a/render_locally b/render_locally index 9e257560..ca7856f5 100755 --- a/render_locally +++ b/render_locally @@ -12,27 +12,32 @@ export ROOT && ROOT=$(readlink -f "$(dirname "$0")") && export LC_MESSAGES && LC_MESSAGES=C && case $1 in + # Use this for rendering the set of pages which are to be installed under + # <http://www.gnu.org/software/hurd/>. --official) - # Use this for rendering the set of pages which are to be installed under - # <http://www.gnu.org/software/hurd/>. shift && + export TZ && TZ=UTC && export DESTDIR && DESTDIR=$ROOT.rendered.official && + # Use ``--no-usedirs'' here, so that not too many separate directories have # to be created. # - # ``--gettime --rebuild'': - # <http://ikiwiki.info/bugs/pagemtime_in_refresh_mode/> + # Use ``--gettime --plugin update_mtimes'' to reset pages' / files' mtimes + # according to the RCS information when using --refresh mode. set x \ --set wikistatedir="$ROOT"/.ikiwiki-official \ --url http://www.gnu.org/software/hurd \ --no-usedirs \ - --gettime --rebuild \ + --gettime --plugin reset_mtimes \ "$@" && shift;; + --w3m-wrapper) shift && + export NO_MSG && NO_MSG=y && + # Disable the configured VCS, as the CGI wrapper together with using the # anonok plugin inhibits the propagation of authorship information. set x \ @@ -41,21 +46,27 @@ case $1 in --rcs norcs \ "$@" && shift && + exec \ "$0" \ --w3m \ "$@";; + --w3m) shift && + export DESTDIR && DESTDIR=$ROOT.rendered.w3m && + set x \ --set wikistatedir="$ROOT"/.ikiwiki-w3m \ --cgiurl hurd-web.cgi --w3mmode \ "$@" && shift && + exec \ "$0" \ "$@";; + *) # Use ``--no-usedirs'' here, because when browsing local files, the web # browsers don't display `index.html' files by default when a hyperlink |