iankelling.org Git - mediawiki-setup/blob - get-wiki-snapshot

   1 #!/bin/bash
   2 # Copyright (C) 2016 Ian Kelling
   3 # This program is under GPL v. 3 or later, see <https://www.gnu.org/licenses>
   4 set -eE -o pipefail
   5 trap 'echo "$0:$LINENO:error: \"$BASH_COMMAND\" returned $?" >&2' ERR
   6
   7 cd "${BASH_SOURCE%/*}"
   8
   9
  10 script_file=mw-setup-script
  11 page_file=Mediawiki_Setup_Guide
  12 start=' *<source lang="bash"> *'
  13 end=' *<\/source> *'
  14
  15 if [[ $1 != -l ]]; then # use local file
  16     ruby <<'EOF' > $page_file
  17 require 'json'
  18 puts JSON.parse(`curl -k 'https://ofswiki.org/w/api.php?\
  19 action=query&titles=Mediawiki_Setup_Guide&prop=revisions&rvprop=content&\
  20 format=json'`.chomp)['query']['pages'].values[0]['revisions'][0]['*']
  21 EOF
  22 fi
  23
  24 { cat <<'EOF'
  25 #!/bin/bash
  26 # Copyright (C) 2016 Ian Kelling
  27 # This program is under GPL v. 3 or later, see <http://www.gnu.org/licenses/>
  28 EOF
  29   sed -rn "/^$start$/,/^$end$/{s/^($start|$end)$/# \0/;p}" $page_file
  30 } > $script_file
  31 chmod +x $script_file