Caratteri speciali

Supponiamo di avere in una cartella i seguenti file:

documento.txt
documento1.txt
documento2.doc
documento3.doc
documento4.txt
documento5.txt
documento6.txt
documento7.txt
documento8.jpg
documento9.jpg
documento10.txt
documento11.txt
documento12.gif
documento13.txt

Supponiamo di voler cancellare alcuni di file da terminale tramite il comando rm. L'utilizzo della finestra terminale semplifica notevolmente le cose e permette di compiere operazioni noiose e lunghe da fare a mano.
Vediamo quali sono i caratteri speciali e come utilizzarli per selezionare il set di file da cancellare.

Asterisco *
Con questo carattere è possibile selezionare set di file senza specificare il nome intero. Ad esempio, se eseguiamo nella cartella in cui sono presenti i file il seguente comando:

rm documento1*.txt

cancelleremo i file documento1.txt, documento10.txt, documento11.txt e documento13.txt, ossia tutti quelli il cui nome inizia con documento1 e con estensione .txt.
Un altro utilizzo è il seguente:

rm *txt

in questo caso, vengono cancellati tutti i file con estensione .txt.
Ancora, digitando il seguente comando:

rm documento1*

verranno eliminati i file documento1.txt, documento10.txt, documento11.txt, documento12.gif e documento13.txt, senza discriminazione di estensione.
Infine, ultimo esempio:

rm *

ed in questo caso tutti i file contenuti nella cartella in cui si sta lavorando vengono eliminati.

Punto interrogativo ?
Questo carattere è simile all'asterisco ma può essere sostituito ad un solo carattere.

rm documento1?.txt

Cancella i file documento10.txt, documento11.txt e documento13.txt, ossia tutti quei file il cui nome inizia con documento1 e con estensione .txt.

rm documento?.jpg

Cancella i file documento8.jpg e documento9.jpg, ossia tutti quei file il cui nome inizia con documento e con estensione .jpg.

Parentesi quadre []
Le parentesi quadre non sostituiscono alcun carattere ma servono per indicare un range di valori di caratteri possibili per selezionare set di file.

rm documento1[1-3].txt

Questa digitazione cancella i file documento11.txt e documento13.txt, ossia tutti quelli il cui nome inizia per documento1 e viene completato con caratteri compresi tra 1 e 3 e con estensione .txt.

rm documento1[1-3].*

In questo caso, l'estensione può essere qualsiasi, quindi i file che saranno cancellati sono documento11.txt, documento12.gif e documento13.txt.

rm documento1[13].txt

Con questo comando vengono eliminati i file documento11.txt e documento13.txt.

0
No votes yet
Your rating: None