Existe-t-il un moyen pour un script bash de rechercher le nom de l'espace de travail actuel (bureau virtuel) ?
Cela semble vraiment utile pour des choses comme la personnalisation des comportements dans mon fichier .bashrc en fonction du bureau dans lequel le shell a été créé.
Réponse acceptée :
Vous pouvez le faire avec wmctrl -d
pour lister tous les espaces de travail. Le *
représente l'espace de travail courant :
~$ wmctrl -d
0 * DG: 3840x1080 VP: 0,0 WA: 0,25 3840x1055 1
1 - DG: 3840x1080 VP: N/A WA: 0,25 3840x1055 2
2 - DG: 3840x1080 VP: N/A WA: 0,25 3840x1055 3
3 - DG: 3840x1080 VP: N/A WA: 0,25 3840x1055 4
Donc, pour n'obtenir que le courant, grep pour le *
:
~$ wmctrl -d | grep -w '*'
0 * DG: 3840x1080 VP: 0,0 WA: 0,25 3840x1055 1
J'espère que cela vous aidera !