|
Le shell GNU Bash est un interpréteur de ligne de commande pour le système d'exploitation GNU /Linux. " Bash " signifie Bourne Again Shell et est un jeu de mots basé sur le nom du créateur du shell Unix "sh ", Stephen Bourne. Coup prend les commandes de la ligne de commande et les exécute sur le système d'exploitation . Il est capable de tuyauterie d'une commande à travers un certain nombre de différents programmes et l'exécution de commandes à partir de fichiers à l'aide de son language.You de programmation peut changer les extensions de fichiers dans Bash en déplaçant le fichier à partir de son ancien nom de son nouveau nom. Instructions
1 Ouvrez le terminal en ligne de commande sur votre système d'exploitation Linux ou Unix. L'emplacement du terminal varie entre toutes les distributions .
2 type "echo $ SHELL " sans les guillemets et appuyez sur "Entrée". Si le shell actuel n'est pas « bash », « bash » de type sans les guillemets pour exécuter le shell Bash . Appuyez sur " Entrée".
3 Accédez au répertoire se trouve votre fichier en tapant "cd /path /to /le fichier /, " remplaçant "/path /to /le /déposer " avec le répertoire contenant le fichier . À titre d'exemple , si le fichier était dans le répertoire personnel de l'utilisateur "BFC ", tapez " cd /home /BFC. "
4 changer l'extension du fichier avec la commande " mv" . Vous devez écrire la commande dans le format de "mv oldname.ext newname.ext , " si le fichier est nommé " reports.text " et doit être nommé type " reports.txt " "mv reports.text reports.txt " sans guillemets et appuyez sur "Entrée". Votre fichier a été renommé.
|
