Avete accumulato file di diverso tipo in una cartella e volete eliminare solo quelli con una certa estensione? Il tool gratuito Alternate Directory fa per voi.
Windows: rimuovere file per estensione
Tag Archives: file
Cambiare la data di un file
Spesso si ha la necessità di dover cambiare la data e l’ora di creazione di un file. Questo tutorial spiegherà come farlo facilmente in Linux e Windows.
Windows: cambiare percorso alla cartella Documenti
Ogni volta che reinstallate Windows trovate estremamente noioso dover copiare da capo i vostri file nella cartella Documenti? È comprensibile e per fortuna esiste una soluzione facile e veloce.
Windows: eliminare file bloccati
Volete eliminare un file ma un messaggio di errore vi informa che un programma lo sta usando. Succede spesso e la soluzione la offre il tool gratuito e compatibile con qualsiasi versione di Windows da XP in poi IObit Unlocker.
Caricare GIF sui social network
Avete trovato un file GIF che vi piace ma non sapete come condividerlo su Facebook o Twitter? Questo è tutorial che fa per voi.
Gimp: creare GIF animate
Linux: identificare file sconosciuti
L’argomento era già stato affrontato in questo tutorial facendo uso di un software esterno.
Stavolta vedremo come identificare un file usando un comando interno a Linux: il programma file.
Come recuperare file danneggiati
Dovete aprire un file ma non ci riuscite perché risulta danneggiato? Nessun problema, nella maggior parte dei casi si può recuperare.
Come inserire una riga in un file di testo
Avete bisogno di inserire rapidamente una riga in un file di testo? Potete farlo dal terminale con il comando sed.
Proteggere i file con GPG
Spesso i dati più importanti vengono salvati in file che sarebbe meglio proteggere. Il tool di criptazione gpg (GNU Private Guard) serve proprio a questo.