Nel testo saranno utilizzate le convenzioni tipografiche di seguito elencate
... dette origine a GNU/Linux, ovvero il sistema operativo ...
... utilizzata per il mounting delle periferiche ...
... motore di ricerca come ad esempio Google, ...
$ man 8 mount
... che viene avviato dal kernel è init tramite l’esecuzione ...
# useradd [option] username
In tal caso option sarà un argomento opzionale, ovvero l’utente può impartire il comando useradd senza specificare option, ma username deve essere sempre specificato.
Gli elementi che fanno parte di elenchi di scelta vengono racchiusi tra parentesi graffe ‘{’ e ‘}’, separati tra loro dal carattere pipe ‘|’. Ad esempio
# /etc/init.d/httpd {start|restart|stop|...}
In tal caso gli elementi start, restart, stop (ecc.) fanno pate di un elenco di parametri tra cui l’utente può scegliere per impartire il comando /etc/init.d/httpd. In genere tali parametri sono da ritenersi mutuamente esclusivi, ovvero soltanto uno di essi può essere specificato.
... della macchina in genere premendo il tasto
(o
).
In questo modo saranno rappresentati i tasti che non hanno un corrispondente carattere
visualizzabile sullo schermo o tali che la funzione che essi richiamano all’interno di un
programma viene effettuata in seguito alla pressione del tasto, senza che sia
necessario premere nessun ulteriore tasto di conferma (tipicamente il tasto
).
Nel testo saranno anche evidenziati dei paragrafi nel modo seguente:
|
In questo modo saranno evidenziati i paragrafi che si riferiscono a dettagli implementativi, note storiche o commenti vari. |
Si dà per scontato, salvo specifico avviso, che all’interno dei file di configurazione e degli script le linee vuote e quelle che iniziano con il carattere ‘#’ (cancelletto) sono ignorate.
Il significato dei simboli matematici utilizzati nel testo è riportato nella tab. 1.
![]()
|
![]()
|
![]()
|