2011-09-28 19:15:42 +00:00
|
|
|
{- git cat-file interface
|
|
|
|
-
|
|
|
|
- Copyright 2011 Joey Hess <joey@kitenet.net>
|
|
|
|
-
|
|
|
|
- Licensed under the GNU GPL version 3 or higher.
|
|
|
|
-}
|
|
|
|
|
|
|
|
module Git.CatFile (
|
|
|
|
CatFileHandle,
|
|
|
|
catFileStart,
|
|
|
|
catFileStop,
|
2011-11-12 21:45:12 +00:00
|
|
|
catFile,
|
|
|
|
catObject
|
2011-09-28 19:15:42 +00:00
|
|
|
) where
|
|
|
|
|
|
|
|
import System.IO
|
2011-11-12 21:45:12 +00:00
|
|
|
import qualified Data.ByteString.Char8 as S
|
|
|
|
import qualified Data.ByteString.Lazy.Char8 as L
|
2011-09-28 19:15:42 +00:00
|
|
|
|
2011-12-20 18:37:53 +00:00
|
|
|
import Common
|
2011-09-28 19:15:42 +00:00
|
|
|
import Git
|
2011-12-14 19:30:14 +00:00
|
|
|
import Git.Sha
|
2011-12-14 19:56:11 +00:00
|
|
|
import Git.Command
|
2012-02-20 19:20:36 +00:00
|
|
|
import qualified Utility.CoProcess as CoProcess
|
2011-09-28 19:15:42 +00:00
|
|
|
|
2012-02-20 19:20:36 +00:00
|
|
|
type CatFileHandle = CoProcess.CoProcessHandle
|
2011-09-28 19:15:42 +00:00
|
|
|
|
|
|
|
catFileStart :: Repo -> IO CatFileHandle
|
2012-02-21 04:16:24 +00:00
|
|
|
catFileStart = CoProcess.start "git" . toCommand . gitCommandLine
|
|
|
|
[ Param "cat-file"
|
|
|
|
, Param "--batch"
|
|
|
|
]
|
2011-09-28 19:15:42 +00:00
|
|
|
|
|
|
|
catFileStop :: CatFileHandle -> IO ()
|
2012-02-20 19:20:36 +00:00
|
|
|
catFileStop = CoProcess.stop
|
2011-09-28 19:15:42 +00:00
|
|
|
|
2011-11-12 21:45:12 +00:00
|
|
|
{- Reads a file from a specified branch. -}
|
improve type signatures with a Ref newtype
In git, a Ref can be a Sha, or a Branch, or a Tag. I added type aliases for
those. Note that this does not prevent mixing up of eg, refs and branches
at the type level. Since git really doesn't care, except rare cases like
git update-ref, or git tag -d, that seems ok for now.
There's also a tree-ish, but let's just use Ref for it. A given Sha or Ref
may or may not be a tree-ish, depending on the object type, so there seems
no point in trying to represent it at the type level.
2011-11-16 06:23:34 +00:00
|
|
|
catFile :: CatFileHandle -> Branch -> FilePath -> IO L.ByteString
|
|
|
|
catFile h branch file = catObject h $ Ref $ show branch ++ ":" ++ file
|
2011-11-12 21:45:12 +00:00
|
|
|
|
|
|
|
{- Uses a running git cat-file read the content of an object.
|
|
|
|
- Objects that do not exist will have "" returned. -}
|
improve type signatures with a Ref newtype
In git, a Ref can be a Sha, or a Branch, or a Tag. I added type aliases for
those. Note that this does not prevent mixing up of eg, refs and branches
at the type level. Since git really doesn't care, except rare cases like
git update-ref, or git tag -d, that seems ok for now.
There's also a tree-ish, but let's just use Ref for it. A given Sha or Ref
may or may not be a tree-ish, depending on the object type, so there seems
no point in trying to represent it at the type level.
2011-11-16 06:23:34 +00:00
|
|
|
catObject :: CatFileHandle -> Ref -> IO L.ByteString
|
2012-02-20 19:20:36 +00:00
|
|
|
catObject h object = CoProcess.query h send receive
|
2011-09-28 19:15:42 +00:00
|
|
|
where
|
2012-02-26 18:11:50 +00:00
|
|
|
send to = do
|
|
|
|
fileEncoding to
|
|
|
|
hPutStrLn to $ show object
|
2012-02-20 19:20:36 +00:00
|
|
|
receive from = do
|
2012-02-26 18:11:50 +00:00
|
|
|
fileEncoding from
|
2012-02-20 19:20:36 +00:00
|
|
|
header <- hGetLine from
|
|
|
|
case words header of
|
|
|
|
[sha, objtype, size]
|
|
|
|
| length sha == shaSize &&
|
|
|
|
validobjtype objtype ->
|
|
|
|
case reads size of
|
|
|
|
[(bytes, "")] -> readcontent bytes from
|
|
|
|
_ -> dne
|
|
|
|
| otherwise -> dne
|
|
|
|
_
|
|
|
|
| header == show object ++ " missing" -> dne
|
2012-02-26 18:11:50 +00:00
|
|
|
| otherwise -> error $ "unknown response from git cat-file " ++ show (header, object)
|
2012-02-20 19:20:36 +00:00
|
|
|
readcontent bytes from = do
|
2011-11-12 21:45:12 +00:00
|
|
|
content <- S.hGet from bytes
|
2011-09-28 19:15:42 +00:00
|
|
|
c <- hGetChar from
|
|
|
|
when (c /= '\n') $
|
|
|
|
error "missing newline from git cat-file"
|
2011-11-12 21:45:12 +00:00
|
|
|
return $ L.fromChunks [content]
|
2011-12-20 18:37:53 +00:00
|
|
|
dne = return L.empty
|
2011-11-12 21:45:12 +00:00
|
|
|
validobjtype t
|
|
|
|
| t == "blob" = True
|
|
|
|
| t == "commit" = True
|
|
|
|
| t == "tree" = True
|
|
|
|
| otherwise = False
|