From ce130f4b2009f1b4fd8bd21eef80e5dfd2faa6a5 Mon Sep 17 00:00:00 2001 From: Michael Hoang Date: Wed, 10 Jul 2024 12:42:42 +1000 Subject: [PATCH] defaults: restart Dock when changing settings --- modules/system/defaults-write.nix | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/modules/system/defaults-write.nix b/modules/system/defaults-write.nix index 7e1fc443..33e918ed 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 + ''} ''; };