Documentazione<Precedenti | Contenuti | Succ.>
Determinazione del tipo di file con file
Mentre esploriamo il sistema sarà utile sapere cosa contengono i file. Per fare questo useremo il filetto comando per determinare il tipo di file. Come abbiamo discusso in precedenza, i nomi dei file in Linux non sono tenuti a riflettere il contenuto di un file. Sebbene ci si aspetterebbe normalmente che un nome file come "picture.jpg" contenga un'immagine compressa JPEG, non è necessario in Linux. Possiamo invocare il filetto comanda in questo modo:
filetto Nome del file
filetto Nome del file
Quando viene invocato, il filetto Il comando stamperà una breve descrizione del contenuto del file. Per esempio:
[io@linuxbox~]$ file immagine.jpg
picture.jpg: dati immagine JPEG, standard JFIF 1.01
[io@linuxbox~]$ file immagine.jpg
picture.jpg: dati immagine JPEG, standard JFIF 1.01
Ci sono molti tipi di file. In effetti, una delle idee comuni nei sistemi operativi simili a Unix come Linux è che "tutto è un file". Man mano che procediamo con le nostre lezioni, vedremo quanto sia vera questa affermazione.
Sebbene molti dei file sul tuo sistema siano familiari, ad esempio MP3 e JPEG, ce ne sono molti tipi un po' meno ovvi e alcuni piuttosto strani.