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

idiomatic elem

Browse source
This commit is contained in:
Joey Hess 2011-01-30 12:01:56 -04:00
parent 96e561bc47
commit 1b0edc1ab2
5 changed files with 10 additions and 10 deletions
Download patch file Download diff file Expand all files Collapse all files

4
git-annex-shell.hs
View file

@ -46,13 +46,13 @@ main' [] = failure
main' ("-c":p) = main' p
-- a command can be either a builtin or something to pass to git-shell
main' c@(cmd:dir:params)
| elem cmd builtins = builtin cmd dir params
| cmd `elem` builtins = builtin cmd dir params
| otherwise = external c
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.
| "git-annex-shell " `isPrefixOf` cmd = main' $ drop 1 $ shellUnEscape cmd
| elem cmd builtins = failure
| cmd `elem` builtins = failure
| otherwise = external c
builtins :: [String]