diff options
author | Joey Hess <joey@kitenet.net> | 2011-01-27 17:58:30 -0400 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2011-01-27 17:58:30 -0400 |
commit | 4f9336bb60ca4dc08ca271605de71415c98ec3ff (patch) | |
tree | a1fc60bb1b6133d8b8b966f2ea77349c0a9a6d62 /git-annex-shell.hs | |
parent | 167523f09d48777f3a5931fdcbc21b9d363e0e6c (diff) |
idiom
Diffstat (limited to 'git-annex-shell.hs')
-rw-r--r-- | git-annex-shell.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/git-annex-shell.hs b/git-annex-shell.hs index 78dd77790..fa2a7f606 100644 --- a/git-annex-shell.hs +++ b/git-annex-shell.hs @@ -51,7 +51,7 @@ main' c@(cmd:dir:params) main' c@(cmd:_) -- Handle the case of being the user's login shell. It will be passed -- a single string containing all the real parameters. - | isPrefixOf "git-annex-shell " cmd = main' $ drop 1 $ shellUnEscape cmd + | "git-annex-shell " `isPrefixOf` cmd = main' $ drop 1 $ shellUnEscape cmd | elem cmd builtins = failure | otherwise = external c |