• # Modifier le .bashrc et ajouter des .desktop

    Posté par (Mastodon) . En réponse au message Lancer binaire depuis ~/.local/bin. Évalué à 1. Dernière modification le 08 novembre 2021 à 20:08.

    Salut,

    Modifier ton .bashrc

    $ nano ~/.bashrc

    Quelque part dans le fichier, tu trouveras sans doutes une ligne du genre : 

    export PATH=/usr/bin:/usr/local/bin:...

    Tu peux ajouter le dossier .bin/local dedans:

    (le plus simple est d'ajouter une ligne dans le .bashrc, voir d'utiliser un autre fichier .bash_path qui contient toutes les customisations de $PATH, sourcé dans le .bashrc)

    export PATH=/usr/bin:/usr/local/bin:...` 
export PATH=$PATH:~/.local/bin # J'ajoute le ~/.local/bin au $PATH

    Tu enregistres et recharge le .bashrc :

    $ . .bashrc

    Ensuite tu peux vérifier que les éxécutables présents dans le ~/.local/bin sont biens pris en charge depuis n'importe quel point, depuis un terminal.

    $ ls ~/.local/bin
spotify truc
$ spotify
... se lance...

    Ajouter l'application dans le menu

    Le format des fichiers .desktop est commun à tous les DE principaux.

    Tu peux utiliser alacarte (de Gnome), une appli dédiée, qui permet de généner (et enregistrer au bon endroit) ces fichiers en GUI.

    Il est parfois nécessaire de marquer les .desktop en éxécutable pour que ça marche... 

    $ cd .local/share/applications/
$ chmod +x foo.desktop

    L'application devrait apparaître dans le menu...

    Courage !