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
 

Ä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.
  • 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.
Kommentare

Infos zur Publikation

title_2014_04

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

EasyLinux erscheint vierteljährlich und kostet EUR 9,80. Weitere Informationen zum Heft finden Sie auf der EasyLinux-Homepage.

Das EasyLinux-Jahresabo mit Prämie kostet ab EUR 33,30. Details zum EasyLinux-Jahresabo finden Sie im Medialinx-Shop.

NEU: DIGITALE AUSGABEN FÜR TABLET & SMARTPHONE

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

Tipp der Woche

Schnell Multi-Boot-Medien mit MultiCD erstellen
Schnell Multi-Boot-Medien mit MultiCD erstellen
Tim Schürmann, 24.06.2014 12:40, 0 Kommentare

Wer mehrere nützliche Live-Systeme auf eine DVD brennen möchte, kommt mit den Startmedienerstellern der Distributionen nicht besonders weit: Diese ...

Aktuelle Fragen

Artikelsuche
Erwin Ruitenberg, 09.10.2014 07:51, 1 Antworten
Ich habe seit einige Jahre ein Dugisub LinuxUser. Dann weiß ich das irgendwann ein bestimmtes Art...
Windows 8 startet nur mit externer Festplatte
Anne La, 10.09.2014 17:25, 4 Antworten
Hallo Leute, also, ich bin auf folgendes Problem gestoßen: Ich habe Ubuntu 14.04 auf meiner...
Videoüberwachung mit Zoneminder
Heinz Becker, 10.08.2014 17:57, 0 Antworten
Hallo, ich habe den ZONEMINDER erfolgreich installiert. Das Bild erscheint jedoch nicht,...
internes Wlan und USB-Wlan-Srick
Gerhard Blobner, 04.08.2014 15:20, 2 Antworten
Hallo Linux-Forum: ich bin ein neuer Linux-User (ca. 25 Jahre Windows) und bin von WIN 8 auf Mint...
Server antwortet mit falschem Namen
oin notna, 21.07.2014 19:13, 1 Antworten
Hallo liebe Community, Ich habe mit Apache einen Server aufgesetzt. Soweit, so gut. Im Heimnet...