Doesn't let me pass options to time

[Kyle Kienapfel]

time --format 'Time: %Es' program doesn't work as desired, command-not-found gets in the way.

Tested on Feisty.

mage@prometheus:~/Work$ time --format '%Es' yadda
Usage: command-not-found [options] <command-name>

command-not-found: error: no such option: --format
bash: --format: command not found

real 0m0.124s
user 0m0.096s
sys 0m0.016s

mage@prometheus:~/Work$ dash
$ time --help
Usage: time [-apvV] [-f format] [-o file] [--append] [--verbose]
       [--portability] [--format=format] [--output=file] [--version]
       [--quiet] [--help] command [arg...]
$ exit

[Zygmunt Krynicki (zyga)]

This is a bug in feisty's version of bash that invokes command-not-found incorrectly. Please check /etc/bash.bashrc and notice the lack of '--' before the argument to c-n-f

[Matthias Klose (doko)]

fixed in gutsy

[Moin (mondog)]

I have the same bug on Jaunty now.