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 script_file=mw-setup-script
  10 page_file=Mediawiki_Setup_Guide
  11 start=' *<source lang="bash"> *'
  12 end=' *<\/source> *'
  13
  14 ruby <<'EOF' > $page_file
  15 require 'json'
  16 puts JSON.parse(`curl -k 'https://ofswiki.org/w/api.php?\
  17 action=query&titles=Mediawiki_Setup_Guide&prop=revisions&rvprop=content&\
  18 format=json'`.chomp)['query']['pages'].values[0]['revisions'][0]['*']
  19 EOF
  20
  21 { cat <<'EOF'
  22 #!/bin/bash
  23 # Copyright (C) 2016 Ian Kelling
  24 # This program is under GPL v. 3 or later, see <http://www.gnu.org/licenses/>
  25 EOF
  26   sed -rn "/^$start$/,/^$end$/{s/^($start|$end)$/# \0/;p}" $page_file
  27 } > $script_file
  28 chmod +x $script_file