Georg Brandl ge...@python.org added the comment:
Usually I would say that this is common UNIX knowledge, except that timeit is
also used in Windows environments. Also, the timeit help is already quite
thorough, so it can't hurt to mention --. Done in r83396.
--
nosy: +georg.brandl
Amaury Forgeot d'Arc amaur...@gmail.com added the comment:
This -- trick is implemented by the getopt module.
OTOH on my system, 'grep' also recognizes this, and I could not find any
documentation about it, neither with grep --help nor man grep.
--
nosy: +amaury.forgeotdarc
Changes by Skip Montanaro s...@pobox.com:
--
nosy: -skip.montanaro
___
Python tracker rep...@bugs.python.org
http://bugs.python.org/issue4810
___
___
Python-bugs-list
New submission from Skip Montanaro s...@pobox.com:
Consider this timeit run:
% python -m timeit '-1.0e-3 -0.0001 1.0e-3'
option -1 not recognized
use -h/--help for command line help
As it turns out this works:
% python -m timeit -- '-1.0e-3 -0.0001 1.0e-3'
1000
