On 09/25/2013 03:25 PM, Rolf Eike Beer wrote: > Am Mittwoch, 25. September 2013, 11:43:19 schrieben Sie: >> Eike, Eric, Igor, >> >> Please take a look and try out this change to bash-completion: > > From a quick look I can't find anything wrong with it. Great, thanks. -Brad