🔹 Che cos’è un’estensione?
L’estensione è la parte finale del nome di un file, quella che viene scritta dopo il punto.
Per esempio:
- relazione.docx
- foto.jpg
- canzone.mp3
- video.mp4
Quelle piccole lettere alla fine servono a capire che tipo di file è.
L’estensione è importante perché:
- aiuta il Sistema Operativo a capire di che file si tratta
- permette al computer di scegliere automaticamente il programma giusto per aprirlo
- aiuta anche noi a riconoscere subito se è un documento, un’immagine, una canzone o un video
🔹 Come funziona nel Sistema Operativo?
Nei sistemi operativi come Microsoft Windows, macOS e Linux, il computer legge l’estensione del file e decide con quale programma aprirlo.
Ad esempio:
- un file .docx si apre con Microsoft Word
- un file .pdf si apre con Adobe Acrobat Reader
- un file .jpg si apre con un programma per visualizzare immagini
In pratica, l’estensione è come una piccola “etichetta” che dice al computer cosa deve fare con quel file.
🔹 Tipi principali di estensioni
📄 File di testo
🖼 File di immagini
.jpg/.jpeg.png.gif
🎵 File audio
.mp3.wav
🎬 File video
.mp4.avi
🗂 File compressi
.zip.rar
⚙ File eseguibili
.exe(programma eseguibile in Windows)
🔹 È possibile cambiare estensione?
⚠ Sì, ma bisogna fare attenzione.
Cambiare solo il nome dell’estensione (es. da .jpg a .mp3) non cambia il contenuto del file.
Il file rimarrà lo stesso, ma potrebbe non aprirsi correttamente.
Per trasformare davvero un file in un altro formato, serve un programma di conversione.
🔹 Curiosità
- Alcuni sistemi possono nascondere le estensioni per impostazione predefinita.
- Le estensioni di solito sono composte da 2 a 4 lettere.
- In passato (nei primi sistemi informatici) le estensioni avevano massimo 3 lettere.