Istruzioni

Se siete curiosi su come il museo e' realizzato, ecco alcuni dati tecnici. Viene usata una base di dati gestita da MySQL. Le pagine pubblicate sul Web sono normali pagine HTML generate per mezzo di programmi Java che accedono tramite JDBC al data base e creano l'HTML. Di seguito vedete altri dettagli tecnici sul database e la sua gestione.

Documentazione:

Manuale Mysql

Operazioni di gestione del database:

Per fare il controllo degli indirizzi:
```
java Checkurls
```
Per fare modifiche usa questo applet con appletviewer sul computer dove gira Mysql.
Per proteggere il data base da possibili modifiche dalla rete:
```
chmod 600 Museoup.class
```

Per aggiungere una colonna:

/user/local/mysql/bin/mysql -uuser -ppassword -e "ALTER table museo ADD commenti TEXT" Museo

Lo schema : museo, autore, raccolta, domande, risposte.
Contenuto di :autore,raccolta,ricerche,riferimenti

Per cancellare la tabella museo

/user/local/mysql/bin/mysql -uuser -ppassword -e "drop table museo" Museo

Per creare la versione inglese:
```
java Museoren
java Museoen
```

Per salvare il database in un file museo.sql

mv museo.sql museo1.sql
/user/local/mysql/bin/mysqldump -uuser -ppassword --opt Museo > museo.sql

Per ricreare il database da museo.sql

/user/local/mysql/bin/mysql -uuser -ppassword Museo < museo.sql

Per listare una tabella:

/user/local/mysql/bin/mysql -uuser -ppassword -e "select * from museo" Museo

Per cancellare la riga di una tabella:

/user/local/mysql/bin/mysql -uuser -ppassword -e "delete from museo WHERE ID=777" Museo

Per aggiornare una riga di una tabella:

/user/local/mysql/bin/mysql -uuser -ppassword -e "UPDATE museo SET Ind_locale='esp71/Specchio.html' WHERE ID=7100" Museo

Per inserire/togliere un'installazione da quelle non funzionanti:

/user/local/mysql/bin/mysql -umuseo -p -e "UPDATE museo SET Status=1 WHERE ID=92" Museo

Per contare le righe di una tabella:

/user/local/mysql/bin/mysql -uuser -ppassword -e "select count(*) from museo" Museo

Per generare framen.html e desn.html:

java Museo n 
chmod 644 framen.html
chmod 644 desn.html

Per generare framen.html e desn.html per tutto il database:
```
source creall 
```
Per generare l'indice leonardo.html:
```
java Museoin nrec 
```
Per controllare ed eventualmente riparare il database
```
 /user/local/mysql/bin/isamchk -a /user/local/mysql/data/Museo/museo
 /user/local/mysql/bin/isamchk -d /user/local/mysql/data/Museo/museo
 /user/local/mysql/bin/isamchk -r /user/local/mysql/data/Museo/museo
```
la prima operazione "a" va fatta spesso (analyze), la seconda "d" una o due volte l'anno e se "deleted blocks " e' alto occorre passare la terza operazione "r" (repair). Ovviamente i comandi vanno ripetuti per ogni tabella.