In Mint, ma anche in altre distribuzioni Linux, è possibile assegnare uno o più simboli ad una cartella: una o più piccole icone aggiuntive, chiamate anche “emblemi” per far notare subito il contenuto di una cartella, ad esempio una piccola immagine o una piccola nota musicale se la cartella contiene immagini o musica.
Oltre agli emblemi predefiniti, è possibile aggiungerne di personalizzati. Per evitare di modificare le proprietà dell’intero sistema, è possibile aggiungere questi emblemi ai singoli utenti, mettendo le icone solo nella directory home dell’utente interessato.
Questo sistema funziona con il file manager nemo
- Preparare un’immagine png 256×256 con il simbolo/emblema da utilizzare
- Salvare l’immagine nel percorso
/home/{nomeutente}/.icons/hicolor/256x256/emblems
- per distinguerla dagli emblemi standard, nominarla con il prefisso in
emblem-custom-{nomescelto}.png
- riavviare il file-browser nemo con il comando da terminale
nemo -q
, oppure fare log-out/log-in dall’utente per attivare i nuovi emblemi - applicare l’emblema alla cartella desiderata con click destro/proprietà e poi click sulla voce “simboli”