PhpPgAdmin
ATTENZIONE. Il codice presente nel repository GitHub non funziona con il PHP 8. Questa pagina resta solo come memoria storica. Volendo è possibile utilizzare un fork di PhpPgAdmin, con le modifiche necessarie per rendere il codice compatibile con le versioni recenti di PHP, ma per il laboratorio consigliamo di utilizzare altri tool (adminer, ad esempio, funziona ancora, ed è già incluso con il setup dell'httpd). [agosto 2028].
Dopo aver eseguito il setup di Apache HTTPD e PostgreSQL, è possibile aggiungere PhpPgAdmin, un’interfaccia web per la gestione dei database PostgreSQL.
Download
Ci portiamo nella document root del nostro server Apache HTTPD:
cd ~/httpd/www/html/
E poi recuperiamo l’ultima versione direttamente da GitHub, con:
git clone https://github.com/phppgadmin/phppgadmin
Questo creerà un po’ di file all’interno della cartella phppgadmin.
Setup
Prima di poter utilizzare PhpPgAdmin è necessario configurare il software.
Per fare questo, iniziamo con il copiare l’esempio di configurazione:
cd phppgadmin/conf
cp config.inc.php-dist config.inc.php
Dopodiché dobbiamo cambiare due parametri.
Il primo è l’host per la connessione al DB. Nel file c’è:
$conf['servers'][0]['host'] = '';
Per cui sarà necessario farlo diventare:
$conf['servers'][0]['host'] = '127.0.0.1';
Il secondo parametro è il nome del database a cui ci vogliamo collegare. Nel file c’è:
$conf['servers'][0]['defaultdb'] = 'template1';
È necessario inserire il nome del proprio database, che coincide con la propria matricola. Quindi:
$conf['servers'][0]['defaultdb'] = 'MATRICOLA';
Avendo cura di sostituire ‘MATRICOLA’ con la propria matricola; ad esempio, ‘2002wxyz’.
A posto!
Prima connessione
Apriamo un browser alla pagina seguente:
dovrebbe comparire la pagina di PhpPgAdmin.
Scegliendo dal menù di sinistra il server PostgreSQL (con la croce rossa a fianco, che indica che al momento non siamo connessi al server) si aprirà la pagina di login.
Immettiamo i dati necessari per la connessione al nostro DB, ed è fatta!