retire it for now

[mediawiki-setup] / get-wiki-snapshot

diff --git a/get-wiki-snapshot b/get-wiki-snapshot
index b71c9ec37c8ce111d6d075600f9c4faa8dc110a7..07e5a5e225dc06a9e13c042aaad8fa2724438815 100755 (executable)
--- a/get-wiki-snapshot
+++ b/get-wiki-snapshot
@@ -4,24 +4,31 @@
 set -eE -o pipefail
 trap 'echo "$0:$LINENO:error: \"$BASH_COMMAND\" returned $?" >&2' ERR
 
-cd "${BASH_SOURCE%/*}"
+# usage: get-wiki-snapshot [-l]
+# -l means generate script from local guide, don't download new one.
+
+x="$(readlink -f "$BASH_SOURCE")"; cd ${x%/*}
+
 
 script_file=mw-setup-script
 page_file=Mediawiki_Setup_Guide
 start=' *<source lang="bash"> *'
 end=' *<\/source> *'
 
-ruby <<'EOF' > $page_file
+if [[ $1 != -l ]]; then # use local file
+  ruby <<'EOF' > $page_file
 require 'json'
 puts JSON.parse(`curl -k 'https://ofswiki.org/w/api.php?\
 action=query&titles=Mediawiki_Setup_Guide&prop=revisions&rvprop=content&\
 format=json'`.chomp)['query']['pages'].values[0]['revisions'][0]['*']
 EOF
+fi
 
 { cat <<'EOF'
 #!/bin/bash
 # Copyright (C) 2016 Ian Kelling
 # This program is under GPL v. 3 or later, see <http://www.gnu.org/licenses/>
+set -x
 EOF
   sed -rn "/^$start$/,/^$end$/{s/^($start|$end)$/# \0/;p}" $page_file
 } > $script_file