diff options
| author | Michael Hoang <enzime@users.noreply.github.com> | 2024-07-10 12:42:42 +1000 |
|---|---|---|
| committer | Michael Hoang <enzime@users.noreply.github.com> | 2024-07-16 11:28:20 +1000 |
| commit | ce130f4b2009f1b4fd8bd21eef80e5dfd2faa6a5 (patch) | |
| tree | e18331cf0956663cd726d849e19b3234235199fd /modules/system/defaults-write.nix | |
| parent | fabc653517106127e2ed435fb52e7e8854354428 (diff) | |
defaults: restart Dock when changing settings
Diffstat (limited to 'modules/system/defaults-write.nix')
| -rw-r--r-- | modules/system/defaults-write.nix | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/modules/system/defaults-write.nix b/modules/system/defaults-write.nix index 7e1fc44..33e918e 100644 --- a/modules/system/defaults-write.nix +++ b/modules/system/defaults-write.nix @@ -107,6 +107,11 @@ in ${concatStringsSep "\n" universalaccess} ${concatStringsSep "\n" ActivityMonitor} ${concatStringsSep "\n" CustomUserPreferences} + + ${optionalString (length dock > 0) '' + echo >&2 "restarting Dock..." + killall Dock + ''} ''; }; |