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...
(Gnome-Shell, 13.04, mis à jour, Gnome 3.8) Récemment, j'ai mis à jour Ubuntu à 13.04. le bureau par défaut est gnome-shell. Hormis Nautilus, les autres frontières logicielles ne disparaissent pas lorsque je les optimise. J'ai vérifié le problème pour ces logiciels: LibreOffice Firefox Rhythmbox...
Je travaille sur un ordinateur de bureau avec beaucoup d'espace d'affichage sur l'écran. Je n'ai donc pas besoin que les barres de titre de mes fenêtres fusionnent avec la barre de menus globale lorsque les fenêtres sont agrandies. De plus, je travaille sur une configuration à double écran, donc le...
J'utilise Gnome-shell 3.2 dans Ubuntu 11.10. Existe-t-il un moyen de masquer la barre de titre de Firefox et de la rendre semblable à celle de Chrome? J'aurais besoin des boutons min / max dans la barre d'onglets. Il y avait un tutoriel dans webupd8, mais c'était avec
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...
Auparavant, les barres de titre pour Windows étaient beaucoup plus fines qu'elles ne le sont maintenant sur Ubuntu GNOME 16.04.1 avec GNOME 3.20. Pourquoi est-ce et comment puis-je changer cela? J'ai aimé le look slim que j'ai obtenu avec le numix-gtk-theme, mais pour une raison quelconque, je n'ai...
Actuellement, le titre de mon terminal / tab bash est défini en fonction du répertoire dans lequel je me trouve. Par exemple: bob@bobscomputer:~/i/had/some/great/pie/yesterday Ce n'est pas très utile si j'ai plusieurs onglets ouverts côte à côte. Par exemple, si j'ai 4 onglets du répertoire...
J'ai installé gnome dans mon nouveau 14.04 (pas la distribution Ubuntu-Gnome). J'ai remarqué que les barres de titre sont énormes et j'aimerais changer. Le fait est que cette solution d' ici n'est pas disponible pour moi: Accédez aux paramètres système. Allez dans Écrans. Accédez à "Echelle pour le...
Dans Ubuntu 14.04, la barre de titre de mon application passe sous la barre de titre principale d'Unity. Dans l'image ci-dessous, la fenêtre sélectionnée est celle du gestionnaire de téléchargement, mais sa barre de titre est masquée sous la barre de titre supérieure de l'unité. Je trouve que ce...