Kann mir jemand verraten wie man jetzt unter Gnome den Benutzername in der Kopfzeile des Bildschirms erscheinen lassen kann?
Bei der Nutzung mehrerer Benutzerkonten ist das sehr hilfreich.
Anmeldungsdatum: Beiträge: 720 Wohnort: Erlangen |
Kann mir jemand verraten wie man jetzt unter Gnome den Benutzername in der Kopfzeile des Bildschirms erscheinen lassen kann? Bei der Nutzung mehrerer Benutzerkonten ist das sehr hilfreich. |
Anmeldungsdatum: Beiträge: 4101 |
Durch eine entsprechende Erweiterung. Die findet man in der Regel auf https://extensions.gnome.org, bspw. diese hier (hab ich selbst allerdings nicht getestet, müsstest du halt ein paar durchprobieren falls diese nicht geht). |
(Themenstarter)
Anmeldungsdatum: Beiträge: 720 Wohnort: Erlangen |
Sorry mit diesen Links, die Du angeben hast, kann ich nichts anfangen. Der eine ist anscheinend nur für den Browser. Und mit dem anderen Link komme ich nicht klar. |
Anmeldungsdatum: Beiträge: 1968 |
Das sind Gnome-Erweiterungen, die über den Browser (Bild 1) oder über das Gnome Tweak Tool (Bild 2) verwaltet werden. Je nach Browser benötigt man evtl. noch die Chrome Gnome Shell (als AddOn für den Firefox z.B.). sudo apt install gnome-tweak-tool sudo apt install chrome-gnome-shell Dann öffnest Du im Browser die oben angegebene Seite (https://extensions.gnome.org/) und gehst die Erweiterungen durch. Du kannst auch in die Suchmaske Namen bekannter Erweiterungen eingeben. Die von Developer92 verlinkte Extension "Simple Name" ist für Ubuntu 18.04 verfügbar. Du schaltest sie ein (ON/OFF) und stimmst einer Installation zu. Gnome-Extensions sind lediglich kleine Skripte evtl. mit Bildern und weiteren Ressourcen, die normalerweise im Userspace (Bild 3) gespeichert werden ( Will man eine Extension für alle Nutzer verfügbar machen, so verschiebt man mit Administratorrechten das entsprechende Verzeichnis nach Siehe dazu auch den entsprechenden Wiki-Artikel GNOME Shell/Extensions. Bearbeitet von Developer92: Link zum Wikiartikel gefixt ☺ |
Anmeldungsdatum: Beiträge: 1968 |
Danke für die Linkkorrektur. Ist mir gerade aufgefallen und ich wollte es ändern. Da war es bereits berichtigt. ☺ |
(Themenstarter)
Anmeldungsdatum: Beiträge: 720 Wohnort: Erlangen |
@robert-engel: Danke für Deine ausführliche Beschreibungen. Habe "Simple Name" mit Erfolg für lokalen Benutzer installieren können. Funktioniert! Bei der Verschiebung der "Simple Name-Erweiterung" von ~/.local/share/gnome-shell/extensions/ nach /usr/share/gnome-shell/extensions/ muss man dann aber noch sudo chown root:root ..... durchführen. Soweit alles OK! Wenn ich mich jetzt aber bei einem anderen Benutzerkonto anmelde wird der Benutzername in der Kopfzeile nicht angezeigt. Auffällig ist dabei das in der Kopfzeile das Symbol für Gnome-Shell-Erweiterung fehlt. Da läuft die Extension irgendwie nicht. Wie kriege ich die ans laufen für den anderen Benutzer? |
Anmeldungsdatum: Beiträge: 1968 |
Man kann auch einfach im Terminal mit root-Rechten kopieren ... sudo cp -r ~/.local/share/gnome-shell/extensions/SIMPLE-NAME-VERZEICHNIS /usr/share/gnome-shell/extensions/ ... und dann das Verzeichnis am Ursprungsort löschen. Die GNOME-Erweiterung muss für bzw. durch jeden Nutzer eigens eingeschaltet werden, denke ich. Installiert ist sie, aber nicht aktiviert. |
(Themenstarter)
Anmeldungsdatum: Beiträge: 720 Wohnort: Erlangen |
Ja und wie macht man die Aktivierung? |
Anmeldungsdatum: Beiträge: 1968 |
Im Konto des betreffenden Nutzers die Website https://extensions.gnome.org/local/ aufrufen und dann ON (Bild 1 von oben). |
(Themenstarter)
Anmeldungsdatum: Beiträge: 720 Wohnort: Erlangen |
Danke! Jetzt läuft der Prozess und die Anzeige ist da. |