Til tider kan det være nødvendig å endre filnavnet forlengelse av flere filer for å åpne dem alle med et annet program . Innenfor Linux -operativsystemet, kan du utføre denne oppgaven ved å gå inn i terminalen og ved hjelp av en enkel kommando . Du trenger ikke å vite noe programmeringsspråk , bare hvordan du skal kopiere og lime inn et par linjer med tekst . Så , ikke kaste bort tid å endre hver enkelt fil , vil du bli overrasket over hvor raskt du kan få jobben gjort . Instruksjoner
en

Åpne Linux terminal . Selv om hver distribusjon av Linux er litt annerledes , kan du vanligvis få tilgang til terminalen ved å velge " Main Menu " og deretter " System Tools . "
2

Type " $ ls" i terminalen for å liste opp innholdet i den gjeldende katalogen . Skriv " $ cd -mappe " hvor " mappe " er navnet på katalogen som inneholder flere filer som du ønsker å endre extensions.
3

Type " eller gammel i *. wma , gjør cp $ gammel ` basename $ gammel wma ` mp3, . . gjort " der" wma "er gjeldende filtype og" mp3 " er utvidelsen som du ønsker å endre
4. . . .

Trykk på " Return" tasten , og loopen av koden vil finne og endre hver av de angitte filtyper.