Capitolo 1. Servizi

1.1. Account

Il Centro mantiene un servizio centralizzato via web di gestione account. I sistemi Linux del dominio sono stati suddivisi in gruppi, denominati laboratori. Ogni laboratorio individua i sistemi che fanno parte di un determinato gruppo di ricerca. I laboratori attuali sono:

Tabella 1-1. Laboratori

NomeHome ServerResponsabile
dipartimentoosirisDirettore Centro email
agentsmedialabG. Attardi email
medialabmedialabG. Attardi email
oikossaladinC. Montangero email
logicstrudelF. Scozzari email
ldbcaronteF. Turini email
fibonaccidatatopG. Ghelli email
optimizedantzigA. Frangioni email
p4paperinoM. Danelutto email
neurolabneuronA. Micheli email
intitoscaG. Ferrari email
oipaztoscaG. Ferrari email

Ad ogni un nuovo account viene assegnata una classe, un laboratorio principale, zero, uno o piú laboratori aggiuntivi. La classe determina le modalità di accesso al File System Distribuito mentre i laboratori permettono l'uso dei sistemi dei laboratori.

Indipendentemente da queste caratteristiche il nuovo account ottiene i seguenti servizi:

1.1.1. Classi di utenti

Sono attualmente definite le seguenti classi di utenti:

Tabella 1-2. Classi di utenti

ClasseDescrizioneGruppo Unix
PersonalePersonale docente e tecnico/amm.vo del Dipartimentopersonal
DottorandiIscritti alla scuola di dottoratodottor
OspitiVisitatori temporaneiospiti
BorsistiBorsisti presso il Dipartimentoborsisti
ContrattistiConsulenti con contratto con il Dipartimentocontract
StudentiTesististudenti
CollaboratoriCollaboratori del Dipartimentocollabor
SpecialiAccount di gestione dei progettispecial

La classe utente viene scelta in base alla qualifica del titolare del nuovo account e può essere cambiata secondo specifiche esigenze (vedi modifica account).

1.1.2. Profili utente

Le procedure di gestione account installano i profili utenti presenti sul server di laboratorio, ossia il contenuto della directory /etc/skel del sistema dove viene creata la home. Questo consente all'amministratore locale di personalizzare gli account del proprio laboratorio installando nella directory /etc/skel dell'home server profili personalizzati per i propri utenti. In particolare, il comando eseguito dalla procedura account è il seguente:

	  cp /etc/skel/.[a-z]* ~user 
	

La shell di default associata agli account è /bin/csh e non è consentito cambiare questo valore nel database distribuito. Sui sistemi linux /bin/csh è solitamente un link a /bin/tcsh, quindi la shell di default risulta essere la tcsh (man tcsh per ulteriori informazioni). L'amministratore può modificare tale valore sul proprio sistema per dare ai propri utenti una shell di default alternativa. Ad esempio il comando:

	  root# ln -sf /bin/bash /bin/csh
	
Fa si che la shell di default per i propri utenti sia la bash (man bash per ulteriori informazioni)

1.1.2.1. Personalizzazione dei profili

Per personalizzare i profili è necessario stabilire quale sia la shell di default (che potrebbe variare a seconda del sistema) e creare o modificare il corrispondente file di startup. Per stabilire quale sia la shell è sufficiente utilizzare il comando:

 
	    ls -l /bin/csh
	  

La seguente tabella riassume la situazione

Tabella 1-3. Shells

ShellStartup file
csh~users/.cshrc
bash~user/.bashrc
tcsh~user/.cshrc
sh~user/.profile

Ad esempio, questo semplice .cshrc utilizza la bash per le sessioni interattive:

# .cshrc
# Non interactive
if !(${?prompt}) then
        alias rm rm -i
	alias cp cp -i
	alias mv mv -i		
	exit
endif
# interactive: switch to bash if available
[ -x /bin/bash ] && exec bash
	  

1.1.3. Cambio Password

È attivo un meccanismo di sincronizzazione che permette di avere la stessa password per i sistemi linux integrati e per i sistemi Windows del dominio.

Avvertimento

Questo è un servizio Web abilitato solo per la rete locale erogato attraverso il protocollo https. Se lo si vuole usare da una macchina fuori dalla rete del Dipartimento, è quindi necessario configurare l'utilizzo del proxy dipartimentale anche per il protocollo https.

Per cambiare la password:

  • Via web: utilizzare la url Cambio Password.

  • In caso di problemai con la procedura Web rivolgersi ai sistemisti.

1.1.4. Richiedere nuovi account

La possibilità di richiedere nuovi account è limitata al personale docente e tecnico/amm.vo del Dipartimento (corrispondente alla classe personale). La richiesta deve essere inoltrata mediante la form disponibile all'indirizzo http://webforms.di.unipi.it/account/aur.html

Chi richiede un nuovo account ne diviene il responsabile e può richiederne al Centro eventuali variazioni (nuova scadenza, cambio di classe, nuova quota).

Nota

Il sistema non accetta richieste di accesso ad un laboratorio inoltrate da account non appartenenti al laboratorio stesso.

1.1.5. Modifica account

La richiesta di modifica è limitata alla scadenza, al gruppo e all'accesso ai laboratori e deve essere inoltrata:

Nota

Il sistema non accetta richieste di inserimento di utenti in un gruppo inoltrate da account non appartenenti al gruppo stesso .

Per qualsiasi altra modifica è necesario rivolgersi direttamente al servizio di assistenza.

1.1.6. Rimozione account

La rimozione di un account può essere richiesta solo da chi ne è responsabile ( in genere chi ne ha richiesto la creazione)

La richiesta di rimozione di un account deve essere inoltrata mediante la form disponibile all'indirizzo http://webforms.di.unipi.it/account/elim/index.php.

Il titolare dell'account riceverà una mail di avviso .In assenza di altre indicazioni l'account verrà rimosso 10 giorni dopo la richiesta.

1.1.7. Creazione nuovo gruppo

È possibile richiedere la creazione di un nuovo gruppo mediante la form disponibile all'indirizzo http://webforms.di.unipi.it/account/gruppo.html

Chi ha richiesto la creazione di un gruppo viene automaticamente inserito fra gli utenti del gruppo