Differences

This shows you the differences between two versions of the page.

--- archief:mediawiki [2015/08/02 15:11]
0.0.0.0 aangemaakt
+++ archief:mediawiki [2021/11/23 14:14] (current)
@@ Line 3: / Line 3: @@
 =====Migreren=====
 Voor te migreren moeten we eerst de oude databank backuppen. Dit kan met volgend commando:
- mysqldump -h host -u user --default-character-set=charset --password dbname | gzip > backup.sql.gz
+  mysqldump -h host -u user --default-character-set=charset --password dbname | gzip > backup.sql.gz
 Deze setting zijn te vinden in /usr/share/mediawiki/LocalSettings.php, bijvoorbeeld:
- mysqldump -h localhost -u mediawiki --default-character-set=binary --password mediawiki | gzip > backup.sql.gz
+  mysqldump -h localhost -u mediawiki --default-character-set=binary --password mediawiki | gzip > backup.sql.gz
 Deze backup plaatsen we dan naar de nieuwe server:
- scp backup.sql.gz root@king.ugent.be:/etc/mediawiki
+  scp backup.sql.gz root@king.ugent.be:/etc/mediawiki
 Nu deze op de nieuwe server staat gaan we ze importeren:
- mysql -u wikiuser -p mediawiki < backup.sql
+  mysql -u wikiuser -p mediawiki < backup.sql
 Om zeker te zijn dat de wiki nu in alles van de nieuwe db gebruikt lopen we het volgende commando:
- php /usr/share/mediawiki/maintenance/update.php
+  php /usr/share/mediawiki/maintenance/update.php
 Nu moeten we nog juist enkele afbeeldingen overzetten:
- scp -r /var/lib/mediawiki/images root@king.ugent.be:/var/lib/mediawiki/
+  scp -r /var/lib/mediawiki/images root@king.ugent.be:/var/lib/mediawiki/
 Deze geven we op de server dan terug de juiste rechten:
- chown -R www-data:www-data /var/lib/mediawiki/images/
+  chown -R www-data:www-data /var/lib/mediawiki/images/