diff options
| author | Joey Hess <joey@kitenet.net> | 2014-04-13 14:36:19 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2014-04-13 14:36:19 -0400 |
| commit | 96f07ef513f6447baec8f66d52d4490ef627a588 (patch) | |
| tree | 4594e3e99794fbe8d425b20445f71f6c9a10d9e4 /Propellor/Property/Git.hs | |
| parent | 5c75e5ec6c6edbe1a221cdcd759fbc650e74f6f1 (diff) | |
propellor spin
Diffstat (limited to 'Propellor/Property/Git.hs')
| -rw-r--r-- | Propellor/Property/Git.hs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Propellor/Property/Git.hs b/Propellor/Property/Git.hs index b2a53800..1dae94bf 100644 --- a/Propellor/Property/Git.hs +++ b/Propellor/Property/Git.hs @@ -80,6 +80,9 @@ cloned owner url dir mbranch = check originurl (Property desc checkout) removeDirectoryRecursive dir createDirectoryIfMissing True (takeDirectory dir) ensureProperty $ userScriptProperty owner $ catMaybes + -- The </dev/null fixes an intermittent + -- "fatal: read error: Bad file descriptor" + -- when run across ssh with propellor --spin [ Just $ "git clone " ++ shellEscape url ++ " " ++ shellEscape dir ++ " < /dev/null" , Just $ "cd " ++ shellEscape dir , ("git checkout " ++) <$> mbranch |