La shell Bash GNU è un interprete a linea di comando per il sistema operativo GNU / Linux. "Bash" sta per Bourne-Again Shell ed è un gioco di parole basato sul nome del creatore della shell Unix "sh", Stephen Bourne. Bash prende i comandi dalla riga di comando e li esegue sul sistema operativo. È in grado di tubazioni un comando attraverso una serie di programmi diversi e l'esecuzione di comandi da file utilizzando la sua programmazione language.You può cambiare le estensioni dei file in Bash spostando il file dal suo vecchio nome per il suo nuovo nome.

istruzione

1 Aprire il terminale a riga di comando sul sistema operativo Linux o Unix. La posizione del terminale varia tra tutte le distribuzioni.

2 Tipo "echo $ SHELL" senza virgolette e premere "Invio". Se la shell corrente non è "bash," tipo "bash" senza virgolette per eseguire la shell Bash. Premere Invio."

3 Passare alla directory il file si trova nella digitando "cd / path / to / il / file" sostituendo "/ path / to / il / file" con la directory contenente il file. Per fare un esempio, se il file è stato nella home directory dell'utente "BFC," tipo "cd / home / BFC."

4 Modificare l'estensione del file con il comando "mv". È necessario scrivere il comando nel formato di "mv oldname.ext newname.ext", quindi se il file è denominato "reports.text" e deve essere chiamato "reports.txt" tipo "mv reports.text reports.txt" senza citazioni e premere "Invio". Il file è ora rinominato.