Différences
Ci-dessous, les différences entre deux révisions de la page.
Les deux révisions précédentesRévision précédenteProchaine révision | Révision précédente | ||
logiciel:systeme:bash:start [2020/10/24 18:23] – admin | logiciel:systeme:bash:start [2022/08/13 21:57] (Version actuelle) – modification externe 127.0.0.1 | ||
---|---|---|---|
Ligne 3: | Ligne 3: | ||
====== Bash : la ligne de commande sous Linux ====== | ====== Bash : la ligne de commande sous Linux ====== | ||
- | ====== Introduction | + | ===== Introduction ===== |
- | ====== Pré-requis | + | ===== Pré-requis ===== |
- | ====== Installation | + | ===== Installation ===== |
- | ====== Configuration | + | ===== Configuration ===== |
Le fichier de configuration de l' | Le fichier de configuration de l' | ||
Ligne 17: | Ligne 17: | ||
< | < | ||
- | ===== Édition du.bashrc personnel | + | ==== Édition du.bashrc personnel ==== |
<WRAP center round important 60%> | <WRAP center round important 60%> | ||
Ligne 25: | Ligne 25: | ||
Nous allons seulement voir quelques lignes faciles à éditer qui vous permettront de personnaliser un peu votre console. | Nous allons seulement voir quelques lignes faciles à éditer qui vous permettront de personnaliser un peu votre console. | ||
- | ==== Personnaliser l' | + | === Personnaliser l' |
Le fichier.bashrc permet de personnaliser l' | Le fichier.bashrc permet de personnaliser l' | ||
Ligne 77: | Ligne 77: | ||
Vous pouvez essayer de personnaliser un peu ces éléments ainsi que leur ordre si ça vous amuse. | Vous pouvez essayer de personnaliser un peu ces éléments ainsi que leur ordre si ça vous amuse. | ||
- | ==== Créer des alias ==== | + | === Créer des alias === |
éditez le fichier **~/ | éditez le fichier **~/ | ||
Ligne 112: | Ligne 112: | ||
</ | </ | ||
- | ==== Édition du bashrc global | + | === Édition du bashrc global === |
Si vous voulez définir des alias ou modifier l' | Si vous voulez définir des alias ou modifier l' | ||
Ligne 121: | Ligne 121: | ||
Les éléments du bashrc personnel ont la priorité sur ceux du bashrc global. Si un même alias est défini dans les deux, c'est celui du bashrc personnel qui sera pris en compte. | Les éléments du bashrc personnel ont la priorité sur ceux du bashrc global. Si un même alias est défini dans les deux, c'est celui du bashrc personnel qui sera pris en compte. | ||
- | ==== Et aussi… le .profile | + | === Et aussi… le .profile === |
De même qu'il existe un ~/.bashrc et un / | De même qu'il existe un ~/.bashrc et un / | ||
Ligne 131: | Ligne 131: | ||
C'est un peu compliqué pour pas grand-chose au final. Dans la pratique, le.profile fait par défaut appel au .bashrc. Donc il suffit d' | C'est un peu compliqué pour pas grand-chose au final. Dans la pratique, le.profile fait par défaut appel au .bashrc. Donc il suffit d' | ||
- | ====== Utilisation | + | ===== Utilisation ===== |
- | ====== Désinstallation | + | ===== Désinstallation ===== |
- | ====== Voir aussi ====== | + | ===== Voir aussi ===== |
* **(fr)** [[https:// | * **(fr)** [[https:// |