Sitzungs-Management unter GNOME

Damit man seine Arbeit dort fortsetzten kann, wo man sie unterbrochen hat und bestimmte Programme direkt beim Start aufgerufen werden, benutzt GNOME einen Sitzungs-Manager. Eine Sitzung kann man jederzeit unter Konfiguration/Sitzung/Aktuelle Sitzung speichern oder im Abmeldungs-Dialog sichern, wobei nur GNOME-Programme in der Sitzung erfasst werden. Andere Programme können im Kontrollzentrum unter Sitzung/Startsequenz eingetragen werden. Um die GNOME-Sitzung zu editieren, sollte man nicht direkt Hand an ~/.gnome/session legen, sondern Konfiguration/Sitzung/Sitzungsmanager-Eigenschaften aufrufen – das Programm zeigt dann die Sitzung mit allen momentan aktiven Programmen. Von hier aus lassen sich die Reihenfolge der zu startenden Programme und der Startstil verändern. Die meisten Programme verwenden den normalen Startstil, der ein Programm bei jeder neuen Sitzung startet, es aber erlaubt, das Programm innerhalb der Sitzung zu schließen. Der Neustart-Stil hingegen startet auch ein in der Sitzung geschlossenes oder abgestürztes Programm sofort wieder. Programme mit dem Müll-Stil werden gar nicht neugestartet, sondern bekommen nur die Chance, ihre Daten zu sichern. Zu guter letzt gibt es noch einen Stil für Einstellungen, also Programme, die zu Beginn bestimmte Präferenzen wiederherstellen.

Der Autor

Björn Ganslandt ist Schüler und leidenschaftlicher Bandbreitenverschwender. Wenn er nicht gerade damit beschäftigt ist, neue Programme auszuprobieren, liest er Bücher oder spielt Saxophon.

LinuxCommunity kaufen

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

Deutschland

Ähnliche Artikel

Kommentare

Infos zur Publikation

LU 02/2016: Alt-PCs flott machen

Digitale Ausgabe: Preis € 4,95
(inkl. 19% MwSt.)

Mit der Zeitschrift LinuxUser sind Sie als Power-User, Shell-Guru oder Administrator im kleinen Unternehmen monatlich auf dem aktuelle Stand in Sachen Linux und Open Source.

Sie sind sich nicht sicher, ob die Themen Ihnen liegen? Im Probeabo erhalten Sie drei Ausgaben zum reduzierten Preis. Einzelhefte, Abonnements sowie digitale Ausgaben erwerben Sie ganz einfach in unserem Online-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!       

Der Tipp der Woche

Schon gewußt?

14.11.2015

Auch unter Ubuntu 15.10 kann man wieder mit dem Startmedienersteller (alias Startup Disk Creator) ein Live-System auf einem USB-Stick einrichten. ...

Fehler des Startmedienerstellers von Ubuntu 15.10 umgehen

Aktuelle Fragen

Tails Update
Val Lerie, 11.01.2016 10:51, 0 Antworten
Hallo zusammen, updaten > update Speichern unter > Persistent nicht möglich, mit der Meldung;...
Recoll
Jürgen Heck, 20.12.2015 18:13, 4 Antworten
Wie kann man mit Recoll nach bestimmten Zeichen/Satzzeichen bzw. Zeichenkombinationen suchen, z....
Wings Platinum 4 auf Linux?
Bodo Steguweit, 18.12.2015 11:37, 4 Antworten
Hallo in die Runde ich nutze für meine Diashows Wings Platinum 4 als Diareferent. Arbeite jetzt...
Bandbreite regulieren
Georg Armani, 25.11.2015 16:50, 1 Antworten
Hallo, ich bin ein Neuling in Sachen Linux und hoffe auf Hilfe. Ich habe zwei Windows Rechner...
Windows 10 verhindert LINUX
Hans Wendel, 17.11.2015 17:47, 7 Antworten
Hallo alle, mit einem W10-Laptop (vorher war Win7) wollte ich LINUX ausprobieren. Alles, was ni...