Questions marquées «titlebar»

13
Comment changer le titre de Gnome-Terminal?
J'ai plusieurs exemples de terminaux fonctionnant dans mon environnement de travail. Ce que je voudrais, c'est définir un titre spécifique pour chacun d'eux, afin d'avoir une idée précise de l'objectif du terminal spécifique, à savoir Apache, montage_ini, postgres, etc. Bien sûr depuis la ligne de commande.




3
Comment définir des bordures autour des fenêtres en 14.04?
Quelqu'un peut-il me conseiller sur la façon d'ajouter des bordures (larges bordures) à Windows dans Ubuntu version 14.04. Dans le passé, j'ai utilisé "gnome-tweak-tool". Cependant, cela ne fonctionne pas avec la version 14.04. Toutes mes fenêtres (en particulier les nombreux écrans de terminaux avec lesquels je travaille) semblent se fondre …




En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.