Tipp: Gnome-Terminal mit festgelegtem Profil starten

In der Voreinstellung präsentiert die Terminalanwendung das Profil Default nach dem Start über das Menü oder aus dem Schnellstarter heraus. Möchten Sie das Programm einmalig mit einem anderen Look (Profil Transparenz im Beispiel) aufrufen, können Sie in den mit [Alt]+[F2] geöffneten Schnellstarter den folgenden Befehl eingeben:

gnome-terminal --profile=Transparenz

Um ein Profil zur Vorgabe zu machen, rufen Sie aus dem Bearbeiten-Menü des Gnome-Terminals den Punkt Profile auf. Im folgenden Dialog sehen Sie unter der Auflistung der verfügbaren Looks das Drop-down-Menü Beim Starten eines neuen Terminals verwendetes Profil. Aus diesem suchen Sie ein vorhandenes aus und machen es so zur Vorgabe.

Tipp: Gnome-Terminal: Menüleiste aus- und einblenden

In der Voreinstellung zeigt das Terminal am oberen Fensterrand eine Menüleiste. Um diese auszublenden, gehen Sie im Menü Ansicht auf Menüleiste anzeigen, um das Häkchen dahinter zu entfernen. Anschließend verschwinden Datei, Bearbeiten & Co. Um das Menü wieder auf den Plan zu rufen, klicken Sie mit der rechten Maustaste ins Terminal hinein und rufen den Kontextmenüpunkt Menüleiste anzeigen auf, um das Häkchen wieder zu setzen.

LinuxCommunity kaufen

Einzelne Ausgabe
 
Abonnements
 
TABLET & SMARTPHONE APPS
Bald erhältlich
Get it on Google Play

Deutschland

Ähnliche Artikel

  • Tipps und Tricks zu Gnome
    Gnome ist neben KDE die zweite große Desktopumgebung für Linux. In den Gnome-Tipps stellen wir regelmäßig Nützliches und Praktisches für die alternative grafische Oberfläche vor.
  • Tipps und Tricks zu Gnome
    Gnome ist neben KDE die zweite große Desktopumgebung für Linux. In den Gnome-Tipps stellen wir regelmäßig Nützliches und Praktisches für die alternative grafische Oberfläche vor.
  • Gnome-Tipps
    Gnome ist neben KDE die zweite große Desktopumgebung für Linux. In den Gnome-Tipps stellen wir regelmäßig Nützliches und Praktisches für die alternative grafische Oberfläche vor.
  • Gnome-Tipps
    Gnome ist neben KDE die zweite große Desktop-Umgebung für Linux. In den Gnome-Tipps stellen wir regelmäßig Nützliches und Praktisches für die alternative grafische Oberfläche vor.
  • Gnome-Tipps
    Gnome ist neben KDE die zweite große Desktopumgebung für Linux. In den Gnome-Tipps stellen wir regelmäßig Nützliches und Praktisches für die alternative grafische Oberfläche vor.
Kommentare

Infos zur Publikation

EL 03/2016: Sicher im Internet

Digitale Ausgabe: Preis € 9,80
(inkl. 19% MwSt.)

EasyLinux erscheint vierteljährlich und kostet 9,80 Euro. Weitere Infos zum Heft finden Sie auf der Homepage.

Das Jahresabo kostet ab 33,30 Euro. Details dazu finden Sie im Computec-Shop.

Bei Google Play finden Sie digitale Ausgaben für Tablet & Smartphone.

HINWEIS ZU PAYPAL: Die Zahlung ist ohne Paypal-Konto ganz einfach per Kreditkarte oder Lastschrift möglich!      

Aktuelle Fragen

Probleme mit MPC/MPD
Matthias Göhlen, 27.09.2016 13:39, 2 Antworten
Habe gerade mein erstes Raspi Projekt angefangen, typisches Einsteigerding: Vom Raspi 3B zum Radi...
Soundkarte wird erkannt, aber kein Ton
H A, 25.09.2016 01:37, 6 Antworten
Hallo, Ich weiß, dass es zu diesem Thema sehr oft Fragen gestellt wurden. Aber da ich ein Linu...
Scannen nur schwarz-weiß möglich
Werner Hahn, 20.09.2016 13:21, 2 Antworten
Canon Pixma MG5450S, Dell Latitude E6510, Betriebssyteme Ubuntu 16.04 und Windows 7. Der Canon-D...
Meteorit NB-7 startet nicht
Thomas Helbig, 13.09.2016 02:03, 4 Antworten
Verehrte Community Ich habe vor Kurzem einen Netbook-Oldie geschenkt bekommen. Beim Start ersch...
windows bootloader bei instalation gelöscht
markus Schneider, 12.09.2016 23:03, 1 Antworten
Hallo alle zusammen, ich habe neben meinem Windows 10 ein SL 7.2 Linux installiert und musste...