Tools
Git installieren
sudo apt-get update
sudo apt-get upgrade
sudo apt-get install git
git config --global user.email "you@example.com"
git config --global user.name "Your Name"
GitHub CLI installieren
(type -p wget >/dev/null || (sudo apt update && sudo apt-get install wget -y)) \
&& sudo mkdir -p -m 755 /etc/apt/keyrings \
&& wget -qO- https://cli.github.com/packages/githubcli-archive-keyring.gpg | sudo tee /etc/apt/keyrings/githubcli-archive-keyring.gpg > /dev/null \
&& sudo chmod go+r /etc/apt/keyrings/githubcli-archive-keyring.gpg \
&& echo "deb [arch=$(dpkg --print-architecture) signed-by=/etc/apt/keyrings/githubcli-archive-keyring.gpg] https://cli.github.com/packages stable main" | sudo tee /etc/apt/sources.list.d/github-cli.list > /dev/null \
&& sudo apt update \
&& sudo apt install gh -y
GitHub CLI anmelden
gh auth login
Backup für MediaWiki erstellen
cd /var/www
gh repo clone thorstenkloehn/Download
sudo chmod 777 -R Download
cd /var/www/Download
sudo rm /var/www/Download/pagedump.xml
php /var/www/mediawiki/maintenance/dumpBackup.php --gzip --full > /var/www/Download/pagedump.gz
git add .
git commit -m "Backup"
git push
Backup für MediaWiki wiederherstellen
php /var/www/mediawiki/maintenance/importDump.php < /var/www/Download/pagedump.xml