GNU/Linux >> Tutoriels Linux >  >> Ubuntu

Comment rechercher le nom de l'espace de travail actuel ?

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 !


Ubuntu
  1. Comment puis-je changer le nom de plusieurs fichiers dans un dossier ?

  2. Comment invoquer le Hud ?

  3. Comment obtenir des informations sur la configuration Grub / Boot actuelle ?

  4. Comment définir le nom d'un thread dans les pthreads Linux ?

  5. Comment puis-je obtenir le nom d'utilisateur dans un Makefile ?

Comment résoudre l'échec temporaire de l'erreur de résolution de nom

Comment changer le nom d'hôte dans Debian 10

Comment obtenir l'apparence et la convivialité de Windows sur Ubuntu 18.04

Comment vérifier le nom de la base de données Joomla ?

Comment changer le nom d'hôte sur Debian Linux

Comment dois-je déterminer l'utilisation actuelle du réseau ?