diff options
author | Joey Hess <joeyh@debian.org> | 2013-12-03 15:02:21 -0400 |
---|---|---|
committer | Joey Hess <joeyh@debian.org> | 2013-12-03 15:02:21 -0400 |
commit | b1ed0aee347a88507d1530f61006cd658b57e54c (patch) | |
tree | eb2a975663782f83e6b20d6d239447d7222de81b /Git/Index.hs | |
parent | 7e592e1d6ed5e0b25b37215da7558c6324688d6f (diff) | |
parent | a4f3e112954e1b785c84c339bcbd83597a89335e (diff) | |
download | git-repair-b1ed0aee347a88507d1530f61006cd658b57e54c.tar.gz |
Record git-repair (1.20131203) in archive suite sid
Diffstat (limited to 'Git/Index.hs')
-rw-r--r-- | Git/Index.hs | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/Git/Index.hs b/Git/Index.hs new file mode 100644 index 0000000..d9d5b03 --- /dev/null +++ b/Git/Index.hs @@ -0,0 +1,32 @@ +{- git index file stuff + - + - Copyright 2011 Joey Hess <joey@kitenet.net> + - + - Licensed under the GNU GPL version 3 or higher. + -} + +module Git.Index where + +import Common +import Git +import Utility.Env + +{- Forces git to use the specified index file. + - + - Returns an action that will reset back to the default + - index file. + - + - Warning: Not thread safe. + -} +override :: FilePath -> IO (IO ()) +override index = do + res <- getEnv var + void $ setEnv var index True + return $ void $ reset res + where + var = "GIT_INDEX_FILE" + reset (Just v) = setEnv var v True + reset _ = unsetEnv var + +indexFile :: Repo -> FilePath +indexFile r = localGitDir r </> "index" |