Principale

 

Per conoscere meglio questo libro di informazioni utili per l'alimentazione e la salute premere qui .

 

. . .

Come rinominare interi gruppi di file con Linux.

Il comando mv da Shell in Linux ci permette di rinominare o spostare un file indicando semplicemente al comando il nome del documento da manipolare come parametro.

 

 

Perciò, se per esempio all'interno della cartella /tmp avessimo un file chiamato 'doc.txt' e lo volessimo rinominare in 'doc.doc' il nostro comando dovrà essere il seguente:

mv /temp/doc.txt /temp/doc.doc



Ora, per quanto comodo mv non consente di rinominare simultaneamente gruppi di file se non attraverso complicate istruzioni da riga di comando. Ad esempio:

# for j in *.txt; do mv $j $(basename $j .txt).doc; done



Oppure tramite l'utilizzo di script da Shell sempre basati su cicli di iterazione. Ad esempio:

for file in *.txt; do
mv $file ${file%.txt}.doc
done



Fortunatamente Linux ci mette a disposizione un comando, mmv (multiple move), che permette di rinominare simultaneamente gruppi di file. Ad esempio, la seguente istruzione:

# mmv '*.txt' '#1.doc'

permette di rinominare tutti i file con estensione '.txt' in '.doc'.

In pratica mmv consente di rinominare, spostare o copiare più documenti raggruppandoli grazie all'utilizzo del caratter jolly '*' sulla base di un elemento comune (ad esempio l'estensione).

Fonte: http://www.mrwebmaster.it

 

 

Dettagli
Categoria: Linux
Visite: 1957

Segnala questa pagina web in rete.

 

Disclaimer: questo sito ("Ogigia, l'isola incantata dei navigatori del web") NON rappresenta una testata giornalistica in quanto viene aggiornato senza alcuna periodicità su vari argomenti, tra cui Linux, geopolitica, metodi di auto-costruzione di risorse, elettronica, segreti, informatica ed altri campi. Non può pertanto considerarsi un prodotto editoriale ai sensi della legge n. 62 del 07/03/2001. Il Webmaster inoltre dichiara di NON essere responsabile per i commenti inseriti nei post. Ogni informazione circa la salute o l'alimentazione sono solo a carattere informativo, e NON siamo responsabili di qualsiasi conseguenza negativa se qualcuno vuole improvvisarsi medico oppure dietologo; si consiglia sempre di rivolgersi a medici ed esperti qualificati. Eventuali commenti dei lettori, lesivi dell'immagine o dell'onorabilità di persone terze NON sono da attribuirsi al Webmaster, che provvederà alla loro cancellazione una volta venuto a conoscenza di un ipotetico problema. Eventuali ritardi nella cancellazione di quanto sgradito non sono imputabili a nessuno. Si declina ogni responsabilità sull'utilizzo da parte di terzi delle informazioni qui riportate. Le immagini pubblicate su questo sito, salvo diversa indicazione, sono state reperite su Internet, principalmente tramite ricerca libera con vari motori. In ogni caso si precisa che se qualcuno (potendo vantare diritti su immagini qui pubblicate, oppure su contenuti ed articoli, o per violazioni involontarie di copyright) avesse qualcosa da rimproverare o lamentare può scriverci attraverso la sezione per i contatti .