Différences

Ci-dessous, les différences entre deux révisions de la page.

--- serveurs:installation:etc-bashrc [2021/04/29 06:53] – [Modifier le fichier .bashrc template] jpmilcent
+++ serveurs:installation:etc-bashrc [2021/04/29 07:00] (Version actuelle) – [Modifier le fichier .bashrc template] jpmilcent
@@ Ligne 4: / Ligne 4: @@
   * Ajouter le code suivant à la fin pour la prise en compte des dossier //bin/// de l'utilisateur :<code bash>
 # Set PATH so it includes user's private bin if it exists and not already set
-if [[ -d "${HOME}/bin" && ":$PATH:" != *":${HOME}/bin:"* ]] ; then
+if [[ -d "${HOME}bin" && ":$PATH:" != *":${HOME}bin:"* ]] ; then
-    PATH="${HOME}/bin:${PATH}"
+    PATH="${HOME}bin:${PATH}"
 fi
 # Set PATH so it includes user's private bin if it exists and not already set
-if [[ -d "${HOME}/.local/bin" && ":${PATH}:" != *":${HOME}/.local/bin:"* ]] ; then
+if [[ -d "${HOME}.local/bin" && ":${PATH}:" != *":${HOME}.local/bin:"* ]] ; then
-    PATH="${HOME}/.local/bin:${PATH}"
+    PATH="${HOME}.local/bin:${PATH}"
 fi
 </code>