move
This commit is contained in:
parent
1870186632
commit
235e2e63a1
2 changed files with 6 additions and 5 deletions
|
@ -20,6 +20,7 @@ module Locations (
|
|||
gitAnnexBadLocation,
|
||||
gitAnnexUnusedLog,
|
||||
isLinkToAnnex,
|
||||
uuidLog,
|
||||
logFile,
|
||||
logFileKey,
|
||||
hashDirMixed,
|
||||
|
@ -117,6 +118,10 @@ gitAnnexUnusedLog prefix r = gitAnnexDir r </> (prefix ++ "unused")
|
|||
isLinkToAnnex :: FilePath -> Bool
|
||||
isLinkToAnnex s = ("/.git/" ++ objectDir) `isInfixOf` s
|
||||
|
||||
{- Filename of uuid.log. -}
|
||||
uuidLog :: FilePath
|
||||
uuidLog = "uuid.log"
|
||||
|
||||
{- The filename of the log file for a given key. -}
|
||||
logFile :: Key -> String
|
||||
logFile key = hashDirLower key ++ keyFile key ++ ".log"
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue