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' | ||