gnome-shell-extension

A GNOME-Shell extension that displays the kernel version in the top bar

Gnome Shell Extension zum hinzufügen des Benutzernamen und Hostnamen zu Panel.

Aktivitäten Taste entfernt, Anwendungsmenü entfernt, Uhrzeitformat angepasst

Anpassen des Uhrzeiformates im Gnome Panel