summaryrefslogtreecommitdiff
path: root/Propellor/Property/Git.hs
diff options
context:
space:
mode:
authorJoey Hess2014-04-13 14:36:19 -0400
committerJoey Hess2014-04-13 14:36:19 -0400
commit96f07ef513f6447baec8f66d52d4490ef627a588 (patch)
tree4594e3e99794fbe8d425b20445f71f6c9a10d9e4 /Propellor/Property/Git.hs
parent5c75e5ec6c6edbe1a221cdcd759fbc650e74f6f1 (diff)
propellor spin
Diffstat (limited to 'Propellor/Property/Git.hs')
-rw-r--r--Propellor/Property/Git.hs3
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