PATH user

Objet : execution de commandes bash persos

Niveau requis :

Commentaires : Créer des scripts à lancer depuis des répertoires créés

Débutant, à savoir : Utiliser GNU/Linux en ligne de commande, tout commence là !.

Construction

Créer les repertoires persos. Par exemple :

mkdir ~./.local/opt/bin

coller dedans les copies des scripts1) commandes à éxecuter, ici depuis une cle USB :

cp -r /media/nomuser/clef_usb/scripts/* ~./.local/opt/bin/

Les rendre tous executables :

chmod ugo+x ~./.local/opt/bin/*

bashrc - configuration

Èditer le fichier .bashrc :

vim ~./bashrc

Voici ce que j'ai rajouté à la fin pour mon exemple :

# set PATH so it includes user's private bin if it exists if [ -d "$HOME/bin" ] ; then PATH="$HOME/bin:$PATH" fi if [ -d "$HOME/.local/opt/spv/bin" ] ; then PATH="$HOME/.local/opt/spv/bin:$PATH" fi

Et redémarrer la bécane pour que ce soit pris en compte.

Remarque

Les if ne sont pas nécessaire mais c'est une bonne pratique.

Utilisation

Après le redémarrage, le test pour lancer les nouvelles commandes fonctionne.

Remerciement

Merci au matelot de bord sans qui les tutos df n'auraient pas ce piment ni cette perfection.

Salut captnfab !