| D.1. I device linux | ||
|---|---|---|
 |
Appendice D. Miscellanea | 
|
| D.1. I device linux | ||
|---|---|---|
|
|
Appendice D. Miscellanea |
|
In Linux, all'interno della directory /dev, sono presenti diversi file speciali, chiamati file di device, che si comportano in modo diverso dai file normali. I tipi più comuni di file di device sono per i device a blocchi e per i device a caratteri. Questo tipo di file sono un'interfaccia per i driver (che fanno parte del kernel Linux) che si occupano del reale accesso all'hardware. Un altro tipo di device, meno comune, sono i file pipe. I file di device più significativi sono elencati nella seguente tabella.
sda |
Il primo disco fisso |
sdb |
Il secondo disco fisso |
sda1 |
Prima partizione del primo disco fisso |
sdb7 |
Settima partizione del secondo disco fisso |
sr0 |
Il primo lettore CD-ROM |
sr1 |
Il secondo lettore CD-ROM |
ttyS0 |
Porta seriale 0, indicata anche come COM1 |
ttyS1 |
Porta seriale 1, indicata anche come COM2 |
psaux |
Device del mouse PS/2 |
gpmdata |
Pseudo device, usato dal demone GPM per ritrasmettere i dati del mouse |
cdrom |
Link simbolico al lettore CD |
mouse |
Link simbolico al file di device del mouse |
null |
Qualunque cosa scritta su questo device scomparirà |
zero |
Vi si possono leggere infiniti zero |
|
|
 |
|
| Appendice D. Miscellanea |  |
D.2. Spazio su disco necessario per i task |