diff options
author | gbrandl <devnull@localhost> | 2007-02-25 20:36:35 +0100 |
---|---|---|
committer | gbrandl <devnull@localhost> | 2007-02-25 20:36:35 +0100 |
commit | 795b97d51a4b5f2311fc4df8d708a30b4aaa033c (patch) | |
tree | 74bf04bb464ae7fa22cf06cc1ae91e585ba2ef20 /pygments/cmdline.py | |
parent | 4f20affc8e7133fc897c754ea8d5ef403ab44399 (diff) | |
download | pygments-795b97d51a4b5f2311fc4df8d708a30b4aaa033c.tar.gz |
[svn] Fix a cmdline bug.
Diffstat (limited to 'pygments/cmdline.py')
-rw-r--r-- | pygments/cmdline.py | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/pygments/cmdline.py b/pygments/cmdline.py index 26586ec5..0801eab0 100644 --- a/pygments/cmdline.py +++ b/pygments/cmdline.py @@ -239,8 +239,7 @@ def main(args): # parse -O options O_opts = _parse_options(O_opts) - # parse -F options - F_opts = _parse_filters(F_opts) + opts.pop('-O', None) # handle ``pygmentize -S`` S_opt = opts.pop('-S', None) @@ -270,6 +269,10 @@ def main(args): print >>sys.stderr, usage return 2 + # parse -F options + F_opts = _parse_filters(F_opts) + opts.pop('-F', None) + # select formatter outfn = opts.pop('-o', None) fmter = opts.pop('-f', None) |