#1 Le 30/05/2018, à 20:08
- 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;Hors ligne
#2 Le 30/05/2018, à 23:00
- 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
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.
Hors ligne
#3 Le 30/05/2018, à 23:09
- Roschan
Re : créer un raccourci clavier vers un script shell
ton script aurait aussi peut-être besoin d'un shebang
Hors ligne