PATH user

Objet : execution de commandes bash persos
Niveau requis :
débutant
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 scripts¹⁾ à é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 :

.bashrc

    # 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 !

¹⁾

commandes