diff options
| author | Bobby Rong <rjl931189261@126.com> | 2023-07-27 16:04:25 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-07-27 16:04:25 +0800 |
| commit | 69a7cd6718117101f845885c3e9e698b18dc91fa (patch) | |
| tree | 5bd8ba33426b5f36ab043c5059eb00af72c84b0f /nixos | |
| parent | db8672b8d0a2593c2405aed0c1dfa64b2a2f428f (diff) | |
| parent | 497229d3c2e56c72ef582c0575d0dcf5a2320731 (diff) | |
Merge pull request #245481 from bobby285271/upd/pantheon
Pantheon updates 2023-07-26
Diffstat (limited to 'nixos')
| -rw-r--r-- | nixos/modules/services/x11/desktop-managers/pantheon.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/nixos/modules/services/x11/desktop-managers/pantheon.nix b/nixos/modules/services/x11/desktop-managers/pantheon.nix index 2b4ee516aa19f..d8a47e93afc74 100644 --- a/nixos/modules/services/x11/desktop-managers/pantheon.nix +++ b/nixos/modules/services/x11/desktop-managers/pantheon.nix @@ -199,6 +199,7 @@ in gnome.adwaita-icon-theme gtk3.out # for gtk-launch program onboard + orca # elementary/greeter#668 qgnomeplatform sound-theme-freedesktop xdg-user-dirs # Update user dirs as described in http://freedesktop.org/wiki/Software/xdg-user-dirs/ |