Se dovete rinominare tutti i file in una cartella cambiando loro l'estensione, come fareste ? Se voleste fare una copia di ogni file .jpg in un'altra cartella, mattendo ai file il prefisso "copia_", che comando utilizzare ? E' possibile fare questo con un breve comando della shell. Oltre a mostrare la riga di comando, tento di spiegare molto brevemente alcuni funzionamenti, comandi e operatori di base della bash.

Bulk Rename Utility è un'utility gratuita che si fa carico della gestione della procedura di ridenominazione automatica di un insieme di file. L'utente può rinominare "in un colpo solo", file e cartelle sulla base di un set di criteri molto flessibili ed altamente configurabili. Il programma offre anche la possibilità di aggiungere in automatico, al nome dei vari file, una data/ora, sostituire numeri, inserire stringhe di caratteri, convertire i caratteri maiuscoli in minuscoli e viceversa, assegnare una numerazione crescente ad ogni singolo file, esaminare cartelle e sottocartelle.Bulk Rename Utility è un'utility gratuita che si fa carico della gestione della procedura di ridenominazione automatica di un insieme di file.

Bulk Rename Utility è un'utility gratuita che si fa carico della gestione della procedura di ridenominazione automatica di un insieme di file. L'utente può rinominare "in un colpo solo", file e cartelle sulla base di un set di criteri molto flessibili ed altamente configurabili. Il programma offre anche la possibilità di aggiungere in automatico, al nome dei vari file, una data/ora, sostituire numeri, inserire stringhe di caratteri, convertire i caratteri maiuscoli in minuscoli e viceversa, assegnare una numerazione crescente ad ogni singolo file, esaminare cartelle e sottocartelle.Bulk Rename Utility è un'utility gratuita che si fa carico della gestione della procedura di ridenominazione automatica di un insieme di file.