Ubuntu-fr

dautsaut

créer un raccourci clavier vers un script shell

Bonjour, désolé de vous déranger mais voilà , j'essaye depuis quelques jours de créer un raccourci clavier vers un de mes scripts mais mon pc ne veut pas l'effectuer soit en disant que le chemin n'est pas bon (j'ai vérifié plus de 10 fois) soit en me disant que je n'ai pas la permission. Ne sachant plus si le problème vient d'une erreur au niveau du script, de la commande ou du chemin je vous demande de l'aide XD.

voici ma commande :

gnome-terminal -x "/home/arthur/Desktop/script/choix_action.sh"

et voici mon script :

cd /home/arthur/Bureau/choix_action; // oui j'ai un Desktop et un Bureau
javac Documentation.java;
javac entertainement.java;
javac site.java;
javac programation.java;
javac Choix_action.java;
java Choix_action;

Arbiel

Re : créer un raccourci clavier vers un script shell

Clic droit sur ton fichier
Choix de "Propriétés"
Cocher la case "Autoriser l'exécution du fichier comme un programme"

---

Arbiel Perlacremaz
LDLC Aurore NK3S-8-S4 Ubuntu 20.04, GNOME 3.36.8
24.04 en cours de tests
Abandon d'azerty au profit de bépo, de google au profit de Lilo et de la messagerie électronique violable au profit de Protonmail, une messagerie chiffrée de poste de travail à poste de travail.

Roschan

Re : créer un raccourci clavier vers un script shell

ton script aurait aussi peut-être besoin d'un shebang