Ahrensburg.city:Tools

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
php /var/www/mediawiki/maintenance/dumpBackup.php --full > /var/www/Download/pagedump.xml
git add .
git commit -m "Backup"
git push

Backup für MediaWiki wiederherstellen

php importDump.php < pagedump.xml