Différences
Ci-dessous, les différences entre deux révisions de la page.
Les deux révisions précédentes Révision précédente Prochaine révision | Révision précédente | ||
serveurs:installation:etc-bashrc [2021/04/29 06:53] – [Définir l'éditeur par défaut du système] jpmilcent | serveurs:installation:etc-bashrc [2021/04/29 07:00] (Version actuelle) – [Modifier le fichier .bashrc template] jpmilcent | ||
---|---|---|---|
Ligne 2: | Ligne 2: | ||
* Éditer le fichier : '' | * Éditer le fichier : '' | ||
* Décommenter les lignes d' | * Décommenter les lignes d' | ||
+ | * Ajouter le code suivant à la fin pour la prise en compte des dossier //bin/// de l' | ||
+ | # Set PATH so it includes user's private bin if it exists and not already set | ||
+ | if [[ -d " | ||
+ | PATH=" | ||
+ | fi | ||
+ | |||
+ | # Set PATH so it includes user's private bin if it exists and not already set | ||
+ | if [[ -d " | ||
+ | PATH=" | ||
+ | fi | ||
+ | </ | ||
===== Définir l' | ===== Définir l' | ||
* Lancer la commande : ''< | * Lancer la commande : ''< | ||
* Choisir l' | * Choisir l' |