summaryrefslogtreecommitdiff
path: root/render_locally
diff options
context:
space:
mode:
authorThomas Schwinge <thomas@schwinge.name>2010-06-09 15:15:12 +0200
committerThomas Schwinge <thomas@schwinge.name>2010-06-09 15:15:12 +0200
commit6fc97a71b0594afa47781571654e71cb18d4d08a (patch)
tree4b3773dc9d920436d41566f86ec793eac35eb80d /render_locally
parent6b1c0573eaff7d22f625452cfbfe2967c0647ea2 (diff)
.library/IkiWiki/Plugin/reset_mtimes.pm: New.
Diffstat (limited to 'render_locally')
-rwxr-xr-xrender_locally21
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