| Home  | Casa  | Hardware  | Networking  | Programmazione  | Software  | Domanda  | Sistemi  |   
Domanda  
  • virus informatici

  • Convertire i file

  • Supporto Notebook

  • Laptop Risoluzione dei problemi

  • PC Support

  • PC Risoluzione dei problemi

  • password

  • Risolvere gli errori del computer

  • Disinstallare Hardware & Software
  •  
    Conoscenza Informatica >> Domanda >> PC Risoluzione dei problemi >> Content
    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 .

    Previous :

    next :
      Articoli Correlati
    ·Il mio PC non si connette al router tramite una conness…
    ·Come fare Vidoes correre più veloce su un computer 
    ·Come ignorare Windows Vista Parental Controls 
    ·Come risolvere uno schermo rosso su un computer 
    ·Come ripristinare un sistema PC904HD 
    ·Come risolvere un processo host generico per Win 32 Ser…
    ·Come risolvere un HP Pavilion A1547C 
    ·Come attivare Ripristino configurazione di sistema con …
    ·Come ascoltare l'audio con il jack Line-in 
    ·Come correggere gli errori sui dischi rigidi 
      Articoli in evidenza
    ·Come faccio a rimuovere manualmente un virus informatic…
    ·Come eseguire la pulizia del Registro di Windows XP 
    ·Come riparare Ripristino configurazione di sistema di W…
    ·Come pulire la cache della memoria 
    ·Come si ricarica una cartuccia d'inchiostro HP CC640W 
    ·Come riparare il dispositivo altoparlante del computer …
    ·Come faccio a reimpostare le impostazioni del browser i…
    ·Come convertire Xvid in MP3 
    ·Come modificare Startup Manager di Windows 
    ·Come posso reinstallare il driver per il mio DVD /CD de…
    Copyright © Conoscenza Informatica http://it.wingwit.com