• Objet : utiliser des commandes bash définies dans des répertoires persos
• Niveau requis :

  débutant
• Commentaires : Je crée des scripts à lancer depuis des répertoires créés
• Débutant, à savoir : Utiliser GNU/Linux en ligne de commande, tout commence là !.

Créer le repertoire 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/*

Voici ce que j'ai rajouté 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 rédémarrer la bécane pour que ce soit pris en compte.

Après le redémarrage, le test pour lancer les commandes des scripts est bon.

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

Salut captnfab !