>>>>> "Guido" == Guido van Rossum <guido@python.org> writes:
Guido> That's a longstanding nit: $OPT is used to specify some standard
Guido> things as well as giving you a hook to override. I think we
Guido> should introduce a separate variable.
That makes good sense to me. For the purposes of backward compatibility, I
suppose we shouldn't change OPT as the variable people set to tweak
settings. I'll create a new BASEOPT variable and submit a patch.
Skip
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4