Merge branch 'joeyconfig'
This commit is contained in:
commit
9699945ad4
|
@ -1,3 +1,10 @@
|
|||
propellor (2.3.1) UNRELEASED; urgency=medium
|
||||
|
||||
* Git.bareRepo: Fix bug in calls to userScriptProperty.
|
||||
Thanks, Jelmer Vernooij.
|
||||
|
||||
-- Joey Hess <id@joeyh.name> Wed, 22 Apr 2015 20:59:59 -0400
|
||||
|
||||
propellor (2.3.0) unstable; urgency=medium
|
||||
|
||||
* Make propellor resistent to changes to shared libraries, such as libffi,
|
||||
|
|
|
@ -103,15 +103,15 @@ bareRepo repo user gitshared = check (isRepo repo) $ propertyList ("git repo: "
|
|||
dirExists repo : case gitshared of
|
||||
NotShared ->
|
||||
[ ownerGroup repo user (userGroup user)
|
||||
, userScriptProperty user ["git", "init", "--bare", "--shared=false", repo]
|
||||
, userScriptProperty user ["git init --bare --shared=false " ++ shellEscape repo]
|
||||
]
|
||||
SharedAll ->
|
||||
[ ownerGroup repo user (userGroup user)
|
||||
, userScriptProperty user ["git", "init", "--bare", "--shared=all", repo]
|
||||
, userScriptProperty user ["git init --bare --shared=all " ++ shellEscape repo]
|
||||
]
|
||||
Shared group' ->
|
||||
[ ownerGroup repo user group'
|
||||
, userScriptProperty user ["git", "init", "--bare", "--shared=group", repo]
|
||||
, userScriptProperty user ["git init --bare --shared=group " ++ shellEscape repo]
|
||||
]
|
||||
where
|
||||
isRepo repo' = isNothing <$> catchMaybeIO (readProcess "git" ["rev-parse", "--resolve-git-dir", repo'])
|
||||
|
|
Loading…
Reference in New Issue