Ahrensburg.city:Tools: Unterschied zwischen den Versionen
Zur Navigation springen
Zur Suche springen
// via Wikitext Extension for VSCode |
|||
| (11 dazwischenliegende Versionen desselben Benutzers werden nicht angezeigt) | |||
| Zeile 1: | Zeile 1: | ||
== Tools == | == Tools == | ||
===Git | === Git installieren === | ||
<pre> | <pre> | ||
sudo apt-get update | sudo apt-get update | ||
| Zeile 9: | Zeile 9: | ||
git config --global user.email "you@example.com" | git config --global user.email "you@example.com" | ||
git config --global user.name "Your Name" | git config --global user.name "Your Name" | ||
</pre> | |||
=== GitHub CLI installieren === | |||
=== | |||
<pre> | <pre> | ||
(type -p wget >/dev/null || (sudo apt update && sudo apt-get install wget -y)) \ | (type -p wget >/dev/null || (sudo apt update && sudo apt-get install wget -y)) \ | ||
| Zeile 22: | Zeile 22: | ||
</pre> | </pre> | ||
==== | ==== GitHub CLI anmelden ==== | ||
<pre> | <pre> | ||
gh auth login | gh auth login | ||
| Zeile 29: | Zeile 28: | ||
=== Backup für MediaWiki erstellen === | === Backup für MediaWiki erstellen === | ||
<pre> | <pre> | ||
cd / | cd /home/thorsten | ||
gh repo clone thorstenkloehn/Download | gh repo clone thorstenkloehn/Download | ||
sudo chmod 777 -R Download | sudo chmod 777 -R Download | ||
cd / | cd /home/thorsten/Download | ||
php / | sudo rm /home/thorsten/Download/pagedump.xml | ||
php /home/thorsten/mediawiki/maintenance/dumpBackup.php --full > /home/thorsten/Download/pagedump.xml | |||
git add . | git add . | ||
git commit -m "Backup" | git commit -m "Backup" | ||
| Zeile 42: | Zeile 41: | ||
=== Backup für MediaWiki wiederherstellen === | === Backup für MediaWiki wiederherstellen === | ||
<pre> | <pre> | ||
php importDump.php < pagedump.xml | php /var/www/mediawiki/maintenance/importDump.php < /var/www/Download/pagedump.xml | ||
</pre> | </pre> | ||
[[Category:Tools]] | [[Category:Tools]] | ||
[[Category:Git]] | [[Category:Git]] | ||
Aktuelle Version vom 23. August 2024, 21:17 Uhr
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 /home/thorsten gh repo clone thorstenkloehn/Download sudo chmod 777 -R Download cd /home/thorsten/Download sudo rm /home/thorsten/Download/pagedump.xml php /home/thorsten/mediawiki/maintenance/dumpBackup.php --full > /home/thorsten/Download/pagedump.xml 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