scripts/MEDIAWIKI/10_download_mediawiki.sh

   1 #! /bin/bash
   2
   3 # Download mediawiki directly from their download source, as it is the recommended route and there is no repo
   4 if ! $ROOTCMD getent passwd mediawiki ; then
   5     $ROOTCMD adduser --system --ingroup www-data --disabled-password --gecos "mediawiki user" mediawiki
   6 fi
   7
   8 if ! $ROOTCMD test -e /home/mediawiki/.ssh/id_rsa; then
   9     $ROOTCMD echo | $ROOTCMD sudo -u mediawiki ssh-keygen -N ''
  10 fi
  11
  12 if ! $ROOTCMD echo | cd /home/mediawiki/
  13     $HOME && wget https://releases.wikimedia.org/mediawiki/1.25/mediawiki-1.25.1.tar.gz; then
  14     tar -xvzf $HOME\mediawiki-1.25.1.tar.gz
  15     mv mediawiki-*/* /var/www/html
  16 fi
  17
  18
  19