nixsearch
nixsearch / pkg / gnomeExtensions.date-menu-formatter / 17

gnomeExtensions.date-menu-formatter 17

Allows customization of the date display in the panel.
Linux last changed

Pin this version

$ devbox add gnomeExtensions.date-menu-formatter@17
systemsaarch64-linux, x86_64-linux commit01b6809f7f9d1183a2b3e081f0a1e6f8f415cb09 
$ nix shell github:NixOS/nixpkgs/01b6809f7f9d1183a2b3e081f0a1e6f8f415cb09#gnomeExtensions.date-menu-formatter

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-linux
Linux · arm64		 gnomeExtensions.date-menu-formatter 01b6809f7f9d
out
/nix/store/574szc83pkp5kkdc2b907mfq5wfg4szr-gnome-shell-extension-date-menu-formatter-17
x86_64-linux
Linux · x86-64		 gnomeExtensions.date-menu-formatter 01b6809f7f9d
out
/nix/store/as5l327mnhh5yf5d3ryv50sxs6gbzrwd-gnome-shell-extension-date-menu-formatter-17
← newer: 18 all 11 releases older: 16 →

JSON: /v2/pkg?name=gnomeExtensions.date-menu-formatter · /v2/resolve?name=gnomeExtensions.date-menu-formatter&version=17