update
This commit is contained in:
parent
dce9c2e080
commit
e5514e0cb0
12 changed files with 101 additions and 36 deletions
|
@ -3,10 +3,11 @@
|
|||
|
||||
module Locations where
|
||||
|
||||
import Types
|
||||
import GitRepo
|
||||
|
||||
{- An annexed file's content is stored somewhere under .git/annex/ -}
|
||||
annexDir :: GitRepo -> String -> IO FilePath
|
||||
annexDir :: GitRepo -> Key -> IO FilePath
|
||||
annexDir repo key = do
|
||||
dir <- gitDir repo
|
||||
return $ dir ++ "/annex/" ++ key
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue