diff options
| author | Sean Whitton <spwhitton@spwhitton.name> | 2016-07-24 09:46:00 -0700 |
|---|---|---|
| committer | Sean Whitton <spwhitton@spwhitton.name> | 2016-07-24 09:46:00 -0700 |
| commit | fc51183e97b0022c109e39e64553535f8ef93152 (patch) | |
| tree | 6767816af6f24324399a9e829493824973d7b7ee /src | |
| parent | 2685903b8202b1a5686c9d62d8dedc988c4b22b7 (diff) | |
silence kill when rngd not already running
Diffstat (limited to 'src')
| -rw-r--r-- | src/Propellor/Property/Sbuild.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Propellor/Property/Sbuild.hs b/src/Propellor/Property/Sbuild.hs index 1f42434d..d128e3b9 100644 --- a/src/Propellor/Property/Sbuild.hs +++ b/src/Propellor/Property/Sbuild.hs @@ -372,7 +372,7 @@ keypairInsecurelyGenerated = check (not <$> doesFileExist secKeyFile) go -- If there is already an rngd process running we have to kill -- it, as it might not be feeding to /dev/urandom & userScriptProperty (User "root") - [ "kill $(cat /var/run/rngd.pid) || true" + [ "kill 2>/dev/null $(cat /var/run/rngd.pid) || true" , "sleep 10" , "rngd -r /dev/urandom" ] |