Difference between revisions of "PostgreSQL"
(→Installatie) |
|||
Line 1: | Line 1: | ||
<big>'''PostgreSQL'''</big><br/> |
<big>'''PostgreSQL'''</big><br/> |
||
− | + | [[Frank Heikens]] werkt samen met [[Martin Simons]] Webhuis op het gebied van PostgreSQL, hij levert een belangrijke bijdrage aan de PostgreSQL configuratie en documentatie. |
|
== Mediawiki == |
== Mediawiki == |
||
MySQL is op het moment de meest gebruikte database voor Mediawiki, Webhuis is de wiki begonnen met een MySQL backend. |
MySQL is op het moment de meest gebruikte database voor Mediawiki, Webhuis is de wiki begonnen met een MySQL backend. |
Revision as of 20:17, 31 May 2022
PostgreSQL
Frank Heikens werkt samen met Martin Simons Webhuis op het gebied van PostgreSQL, hij levert een belangrijke bijdrage aan de PostgreSQL configuratie en documentatie.
Mediawiki
MySQL is op het moment de meest gebruikte database voor Mediawiki, Webhuis is de wiki begonnen met een MySQL backend.
Installatie
De installatie procedure met de PostgreSQL backend is een beetje gammel, maar als je eenmaal een PostgreSQL database hebt gaat het soepel.
Webserver
# apt-get install mediawiki php-pgsql
In /etc/php/7.3/apache2/php.ini uncomment:
extension=pdo_pgsql extension=pgsql
PostgreSQL Server
Als de database is geïnstalleerd is de volgende voorbereiding op de import uit MySQL noodzakelijk, vanwege andere afhandeling van de autoincrement op keys in tabllen. In PostgreSQL doen we dat met een sequence.
create sequence page_id_seq owned by page.page_id; alter table page alter page_id set default nextval('page_id_seq'); create sequence pagecontent_old_id_seq owned by pagecontent.old_id; alter table pagecontent alter old_id set default nextval('pagecontent_old_id_seq'); create sequence revision_rev_id_seq owned by revision.rev_id; alter table revision alter rev_id set default nextval('revision_rev_id_seq'); create sequence job_job_id_seq owned by job.job_id; alter table job alter job_id set default nextval('job_job_id_seq');
Migratie
php importDump.php --conf /etc/mediawiki/LocalSettings.php ~/tmp/mediawiki-dump.xml --username-prefix='wiki_database_rolename'