cli: options before the add-on are also passed to it (fixes #182)
This commit is contained in:
		
							parent
							
								
									4740c7082e
								
							
						
					
					
						commit
						f7406f77cf
					
				| @ -265,7 +265,7 @@ main = do | ||||
| 
 | ||||
|       -- an external command | ||||
|       | isExternalCommand = do | ||||
|           let externalargs = filter (not.(=="--")) argsaftercmd | ||||
|           let externalargs = argsbeforecmd ++ filter (not.(=="--")) argsaftercmd | ||||
|           let shellcmd = printf "%s-%s %s" progname cmd (unwords' externalargs) :: String | ||||
|           dbgM "external command selected" cmd | ||||
|           dbgM "external command arguments" (map quoteIfNeeded externalargs) | ||||
|  | ||||
		Loading…
	
		Reference in New Issue
	
	Block a user