Home Hardware Networking Programmazione Software Domanda Sistemi
Conoscenza Informatica >> Domanda >> PC Risoluzione dei problemi >> .

Come modificare le estensioni di file con Bash

La Bash shell GNU è un interprete a riga 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 le 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 language.You programmazione può cambiare le estensioni dei file in Bash spostando il file dal suo vecchio nome per il suo nuovo nome . Istruzioni
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 ", " bash " tipo senza virgolette per eseguire la shell Bash . Premere il tasto " Enter ".
3

Passare alla directory il file si trova nella digitando "cd /path /to /file /", sostituendo " /path /to /la /file " con la directory contenente il file . A titolo di esempio , se il file era nella home directory dell'utente " BFC ", digitare " cd /home /BFC . "
4

cambiare 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 denominato tipo " reports.txt " " mv reports.text reports.txt " senza citazioni e premere "Invio ". Il file è stato rinominato .

 

Domanda © www.354353.com