• 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à !.

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/*

È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.

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

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

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

Salut captnfab !