Ahrensburg.city:Tools

Aus ahrensburg.city
Zur Navigation springen Zur Suche springen

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"

GH 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

Backup für MediaWiki erstellen

sudo gh repo clone thorstenkloehn/Download
cd /var/www
php /var/www/mediawiki/maintenance/dumpBackup.php --full > /var/www/Download/pagedump.xml

Backup für MediaWiki wiederherstellen

php importDump.php < pagedump.xml

Weblink