<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 un file. Come abbiamo discusso in precedenza, i nomi dei file in Linux non sono tenuti a riflettere il contenuto di un file. Mentre un nome file come "picture.jpg" normalmente dovrebbe contenere un'immagine compressa JPEG, in Linux non è obbligatorio. Possiamo invocare il comando filetto comando in questo modo:
filetto Nome del file
filetto Nome del file
Quando invocato, il filetto Il comando stamperà una breve descrizione del contenuto del file. Ad 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
Esistono molti tipi di file. Infatti, uno dei concetti più comuni nei sistemi operativi Unix-like come Linux è che "tutto è un file". Proseguendo nelle nostre lezioni, scopriremo quanto questa affermazione sia vera.
Sebbene molti dei file presenti sul tuo sistema ti siano familiari, ad esempio MP3 e JPEG, ce ne sono molti altri un po' meno noti e alcuni piuttosto strani.