mirrors/git-annex
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages 1 Wiki Activity Actions

idiom

Browse source
This commit is contained in:
Joey Hess 2011-01-27 17:58:30 -04:00
parent 167523f09d
commit 4f9336bb60
5 changed files with 6 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

2
git-annex-shell.hs
View file

@ -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