package

gnome-shell-extension-user-id-in-top-panel

Description

Add ( user name :: user id @ host ) in top panel.

Metadata

Version

12

License

GPL-2.0-or-later

Status

Source

pkgs/desktops/gnome/extensions/buildGnomeExtension.nix:54

Homepage

https://extensions.gnome.org/extension/2633/user-id-in-top-panel/

Maintainers (1)

piegames