File modificati dall'Amministrazione SEAM

L'unico file che viene modificato dall'Amministrazione SEAM è $HOME/.gkadmin. Esso contiene i valori predefiniti per la creazione di nuovi nomi principali e può essere aggiornato scegliendo Proprietà dal menu Modifica.