Deskbar – einfach mächtig

Viele Benutzer von Gnome kennen bereits das Deskbar-Applet. Es bietet ein einfaches, aber dennoch sehr mächtiges Interface zum Starten von Programmen sowie zur Suche in Dokumenten, E-Mails oder dem Internet und vieles mehr. Durch die Tastenkombination [Alt]+[F3] ruft man das Eingabefeld des Applets auf.

Das Erscheinungsbild hat sich gegenüber der alten Version etwas geändert, sofern Schaltfläche im Panel in den Eigenschaften ausgewählt ist. Zudem gibt es einige neue Erweiterungen, wie etwa Abmelden, Herunterfahren und Suspend des Computers oder den Window Switcher, mit dem man durch die Fenster schalten, indem man deren Name eingibt.

Eine Vielzahl weiterer Erweiterungen kann man von der Gnome-Live-Webseite [9] herunterladen. Die Installation gestaltet sich denkbar einfach: Man entpackt das Paket nach ~/.gnome2/deskbar-applet/handlers und aktiviert es im Einstellungen-Dialog unter Erweiterungen. Anschließend steht es sofort zur Verfügung. Zukünftige Planungen für das Deskbar-Applet führt das Gnome-Wiki [10] auf.

Fehlermelden leicht gemacht

Wenn sich der Fehlerteufel in ein Gnome-Programm eingeschlichen hat und es nicht mehr reagiert, startet Bug-Buddy durch. Das Programm sammelt Informationen über den Absturz und bietet eine Maske an, in der der Benutzer weitere Angaben machen kann. Bug-Buddy ist seit langem schon in Gnome integriert.

Ab sofort kommt das Programm mit einer neuen Oberfläche samt neuem Unterbau daher. Es holt nun ein noch detailliertes Backtrace mitsamt der Kernel- und Distributionsversion ein; gleichzeitig muss der Benutzer jetzt weniger Angaben machen als zuvor. Eine nervende Sendmail- respektive Postfix-Konfiguration entfällt, da Bug-Buddy via XML-RPC direkt mit Bugzilla kommuniziert.

LinuxCommunity kaufen

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

Deutschland

Ähnliche Artikel

  • 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.
  • Grenzenlos und barrierefrei
    Netzwerktransparenter Dateisystemzugriff, bessere Benutzbarkeit, neue Programme: Unser Überblick zeigt, was das brandneue Gnome 2.22 mitbringt.
  • GNU-Desktop runderneuert
    Schlanker, schneller, schöner: So lassen sich die Verbesserungen der aktuellen Release zusammenfassen. Etliche neue Funktionen und Anwendungen gibts gratis obendrein.
  • Blick nach vorn
    Mit dem traditionellen Herbst-Release erfuhr Gnome wieder viele kleine aber nützliche Neuerungen. Mit Gnome 2.24 visieren die Entwickler nun langsam aber sicher auch die nächste Major-Version 3.0 an.
  • Was ist neu in Gnome 2.14?
Kommentare

Infos zur Publikation

LU 02/2017: SICHER IM NETZ

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

LinuxUser erscheint monatlich und kostet 5,95 Euro (mit DVD 8,50 Euro). Weitere Infos zum Heft finden Sie auf der Homepage.

Das Jahresabo kostet ab 86,70 Euro. Details dazu finden Sie im Computec-Shop. Im Probeabo erhalten Sie zudem drei Ausgaben zum reduzierten Preis.

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

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

Aktuelle Fragen

Samba-Server für Win-Daten & Linux-Dateirechte
Gerd Grundmann, 12.01.2017 18:25, 0 Antworten
Hallo Gemeinde, ich habe ewig gegooo.. aber nicht wirklich gefunden, was ich suche. Auf mei...
LM Cinnamon 18.1Serena 64 bit
Herwig Ameisbichler, 11.01.2017 13:02, 6 Antworten
Hallo an alle. Bin Linux Neuling.Habe auf meiner SSD neben W10 (finde ich nicht mehr)LM17.2 auch...
Bilder in E-Mail einbinden?
Werner Hahn, 23.12.2016 12:18, 4 Antworten
Dell Latitude E6510, Ubuntu 16.04, Mozilla Firefox Ich bitte um eine leicht verständliche Anle...
Linux Mint 17.2
Herwig Ameisbichler, 17.12.2016 11:19, 4 Antworten
Wer kann mir helfen? Hab seit gestern Linux am Pc.Wie kann ich diese Miniaturschrift im Menü,Lei...
Linux 17.2 Treiber f. PC Drucker installieren
Ernst Malitzki, 11.12.2016 13:04, 7 Antworten
Habe einen PC Drucker von HP. Möchte diesen PC Drucker an meinen PC anschließen. Hierzu benötige...