diff options
| author | Emily <vcs@emily.moe> | 2024-10-14 03:59:35 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-10-14 03:59:35 +0100 |
| commit | ccf8cc56c9846ff2490244e05abe2ef737bf3df4 (patch) | |
| tree | 31ea9e94f3f7b55f56fce4131bce92fd2ebf4330 | |
| parent | fd0e3ed30b75ddf7f3d94829d80a078b413b6244 (diff) | |
| parent | d32e6de094e87ba8eeef0be8c5696f7b14365af2 (diff) | |
Merge pull request #1101 from Enzime/quiet-pgrep
defaults: don't output Dock PID
| -rw-r--r-- | modules/system/defaults-write.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/modules/system/defaults-write.nix b/modules/system/defaults-write.nix index 827a7d3..c109767 100644 --- a/modules/system/defaults-write.nix +++ b/modules/system/defaults-write.nix @@ -113,7 +113,7 @@ in ${optionalString (length dock > 0) '' # Only restart Dock if current user is logged in - if pgrep -xu $UID Dock; then + if pgrep -xu $UID Dock >/dev/null; then echo >&2 "restarting Dock..." killall Dock || true fi |