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