Operazioni elementari sui file con Bash

Petar

7 anni fa

Anzitutto vediamo come creare una serie di file vuoti in bash, utilizzando il commando touch.

#!/bin/bash

for n in $( seq 1 10 ); do
	touch "./elemento$n.txt"
done

#!/bin/bash

for n in $( seq 1 10 ); do

touch "./elemento$n.txt"

done

Adesso proviamo a rinominare i file creati (cambiando l’estensione da *.txt a *.log), tenendo a mente i seguenti modificatori fondamentali:

#: sottrae dall’inizio della stringa (minimale)

%: sottrae dalla fine della stringa (minimale)

/ : sostituisce una sottostringa con un altra (solo la prima volta che viene incontrata)

#!/bin/bash

for f in ./*.txt; do
	mv "$f" "${f/%txt/log}";
done

#!/bin/bash

for f in ./*.txt; do

mv "$f" "${f/%txt/log}";

done

Infine mettiamo insieme il tutto in un piccolo eseguibile che, una volta richiamato, permette di modificare l’estensione di tutti i file da ext1 a ext2.

#!/bin/bash

rinomina() {

	for f in ./*.$1; do
		mv "$f" "${f/%$1/$2}"
	done

}

if [ $# -eq 2 ]
	rinomina $1 $2
else
	echo "Usage: $0 [ext1] [ext2]"
fi

#!/bin/bash

rinomina() {

for f in ./*.$1; do

mv "$f" "${f/%$1/$2}"

done

}

if [ $# -eq 2 ]

rinomina $1 $2

else

echo "Usage: $0 [ext1] [ext2]"

Il programma in questione accetta come argomento le due estensioni da modificare, qualora non vengano forniti esattamente due argomenti segnala all’utente l’utilizzo corretto. Dopodiché passa in rassegna, nella sua cartella di appartenenza tutto i file con estensione ext1 e li modifica all’estensione ext2.

Condividi: