RawFilePath conversion
May slightly speed up startup.
This commit is contained in:
parent
b0302c937d
commit
e4ef688b98
2 changed files with 12 additions and 10 deletions
|
@ -95,4 +95,4 @@ initRepo' desc mgroup = unlessM isInitialized $ do
|
|||
{- Checks if a git repo exists at a location. -}
|
||||
probeRepoExists :: FilePath -> IO Bool
|
||||
probeRepoExists dir = isJust <$>
|
||||
catchDefaultIO Nothing (Git.Construct.checkForRepo dir)
|
||||
catchDefaultIO Nothing (Git.Construct.checkForRepo (encodeBS dir))
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue