| Les deux révisions précédentes Révision précédente | |
| 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 |
|---|
| * Ajouter le code suivant à la fin pour la prise en compte des dossier //bin/// de l'utilisateur :<code bash> | * 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 | # 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 | fi |
| |
| # Set PATH so it includes user's private bin if it exists and not already set | # 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 | fi |
| </code> | </code> |
jpmilcent