Amaury Forgeot d'Arc <[email protected]> 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 _______________________________________ Python tracker <[email protected]> <http://bugs.python.org/issue4810> _______________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
