diff options
| author | 2025-12-06 23:52:18 +0100 | |
|---|---|---|
| committer | 2025-12-06 23:52:18 +0100 | |
| commit | 9fb5b955c3e977b73c93ddc2ae4bc39b639340de (patch) | |
| tree | 5ac45338873784eb46693fcd1c197985196f9a85 | |
| parent | wb(wbmexcl): use page.allpages(prefix=) rather than loop (diff) | |
| signature | ||
mwrepl: set the PAGER to less if less.sh
fixes my crappy pager :p
| -rwxr-xr-x | mwrepl.py | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -10,7 +10,9 @@ if config.mediawikiAuth.login: site.login(config.mediawikiAuth.username, config.mediawikiAuth.password) if __name__ == '__main__': - __import__('os').environ['PYTHONINSPECT'] = 'TRUE' + import os + os.environ['PYTHONINSPECT'] = 'TRUE' + if os.environ['PAGER'] == 'less.sh': os.environ['PAGER'] = 'less' print("You've got access to a mwclient as site") if config.mediawikiAuth.login: print("Logged in to the AT wiki as", config.mediawikiAuth.username) |
