Bonjour,
je cherche à nommer les onglets d’un terminal Mate dans un script bash.
( ce script doit créer divers onglets, y créer divers fichiers, les ouvrir dans un onglet spécifique, et renommer le titre de l’onglet)
Le titre est modifiable via un menu contextuel, avec la souris. N’y a-t-il pas un moyen soit de lancer cette commande, soit d’affecter une commande clavier?
merci
PS
J’ai trouvé la piste: man mate-terminal !
À bientôt pour la suite: mon script lorsqu’il fonctionnera
PPS c’est pas gagné!
Ma question reste entière, et même gonflée:
La création d’une fenêtre de terminal et de tous ses onglets se fait bien, mais:
1 l’option -t (ou –title="$titre") est sans effet
2 la commande qui suit la création (vim $fichier.tex) se lance dans le terminal d’où est lancée la commande, et non dans l’onglet correspondant, même avec l’option –active
Comment rendre réellement actif cet onglet ?
3 le dernier onglet garde le chemin du précédent, donné à tous les précédents par –working-directory="$racine" et non celui donné par –working-directory="$img"
merci