- Pas de réunion GEBULL pour cette fin d'année 2020. Bonnes fêtes et à bientôt pour 2021.
- Le jeudi, à la Gob dès 20h30, débutants et utilisateurs expérimentés se retrouvent pour partager leurs connaissances sur le logiciel libre.
Retrouvez-les pour découvrir différentes thématiques :
Des ateliers : montage vidéo - initiation à la programmation - publication assistée par ordinateur - cartographie - etc.
Bidouiller et réfléchir à de nouveaux matériels aux "ressources libres".
Recycler de vieux PC et leur donner une nouvelle jeunesse grâce à GNU/Linux.
Débattre de problématiques sociétales liées à l’informatique, ainsi que de son impact écologique.
Archives du tag: programmation
modifier son “path”
29 octobre 2012 – 14 h 45 min
Lors d’une séance d’initiation à la programmation, le sujet suivant a été évoqué…
*************************************************************************************
Ajouter le répertoire courant dans le chemin de recherche (PATH)
———————————————————————————————-
Aller dans le répertoire personnel
cd (sans argument place dans le répertoire personnel (utilisateur courant).
En général, le fichier (“caché”, commence par un point) .profile donne ce
chemin de recherche des répertoires. Mais cela dépend aussi des distributions.
En entrant la ligne suivante il est possible de vérifier
grep ‘$PATH’ .*
grep est un utilitaire de recherche… La réponse est quelque chose comme:
.profile: PATH=”$HOME/bin:$PATH”
Il suffit d’éditer le fichier ainsi trouvé (ici .profile).
NB: il est possible qu’il faille modifier le gestionnaire de fichiers pour voir les
fichiers cachés…
Tout à la fin ajouter la ligne:
PATH=”$PATH:.”
Sauver ce fichier et fermer la session (pour que le fichier soit pris en compte lors
de l’ouverture de la prochaine session).
Après ouverture d’une nouvelle session, il est possible de vérifier la modif.
echo $PATH
La réponse doit monter que le répertoire courant (repéré par ‘.’) est effectivement dans le chemin de
recherche.
Chez moi c’est quelque chose comme:
/home/alain/bin:/usr/local/bin:/usr/bin:/bin:/usr/local/games:/usr/games:.