Ahrensburg.city:Tools

Aus ahrensburg.city
Version vom 8. August 2024, 13:15 Uhr von Thorsten (Diskussion | Beiträge) (// via Wikitext Extension for VSCode)
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

GH 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

Weblink