A volte, potrebbe essere necessario rinominare l'estensione del file di più file in modo da aprirli tutti con un programma diverso. All'interno del sistema operativo Linux, è possibile eseguire questa operazione accedendo al terminale e con un unico comando. Non avrete bisogno di sapere ogni linguaggio di programmazione, solo come copiare e incollare un paio di righe di testo. Quindi, non perdere tempo alterando ogni singolo file; sarete sorpresi di quanto velocemente si può ottenere il lavoro fatto.

istruzione

1 Aprire il terminale Linux. Anche se ogni distribuzione di Linux è un po 'diverso, di solito si può accedere al terminale selezionando "Menu principale" e poi "Utilità di sistema".

2 Digitare "$ ls" nel terminale per elencare il contenuto della directory corrente. Quindi digitare "cartella del CD $" dove "cartella" è il nome della directory contenente i file multipli di cui si desidera modificare le estensioni.

3 Tipo "o vecchio in * .wma; fare cp $ vecchio basename $old .wma .mp3; fatto" dove ".wma" è l'estensione del file corrente e ".mp3" è l'estensione a cui si desidera modificare.

4 Premete il tasto "Return", e il ciclo di codice individuare e modificare ciascuna delle estensioni di file specificati.