2011-12-13 19:22:43 +00:00
|
|
|
{- Some git commands output encoded filenames, in a rather annoyingly complex
|
|
|
|
- C-style encoding.
|
|
|
|
-
|
2015-01-21 16:50:09 +00:00
|
|
|
- Copyright 2010, 2011 Joey Hess <id@joeyh.name>
|
2011-12-13 19:22:43 +00:00
|
|
|
-
|
|
|
|
- Licensed under the GNU GPL version 3 or higher.
|
|
|
|
-}
|
|
|
|
|
|
|
|
module Git.Filename where
|
|
|
|
|
2011-12-23 00:14:35 +00:00
|
|
|
import Utility.Format (decode_c, encode_c)
|
2011-12-13 19:22:43 +00:00
|
|
|
|
2011-12-20 18:37:53 +00:00
|
|
|
import Common
|
|
|
|
|
2011-12-13 19:22:43 +00:00
|
|
|
decode :: String -> FilePath
|
|
|
|
decode [] = []
|
|
|
|
decode f@(c:s)
|
|
|
|
-- encoded strings will be inside double quotes
|
2011-12-23 00:14:35 +00:00
|
|
|
| c == '"' && end s == ['"'] = decode_c $ beginning s
|
2011-12-13 19:22:43 +00:00
|
|
|
| otherwise = f
|
|
|
|
|
|
|
|
{- Should not need to use this, except for testing decode. -}
|
|
|
|
encode :: FilePath -> String
|
2011-12-23 00:14:35 +00:00
|
|
|
encode s = "\"" ++ encode_c s ++ "\""
|
2011-12-13 19:22:43 +00:00
|
|
|
|
|
|
|
{- for quickcheck -}
|
|
|
|
prop_idempotent_deencode :: String -> Bool
|
|
|
|
prop_idempotent_deencode s = s == decode (encode s)
|