On Sat, 15 Jul 2000, Paul Prescod wrote:
> Good idea. And eventually some way for extensions to register
> themselves...and a pager. Do we have pager code hanging around? Some
> docstrings are already long and we have no mechanism for breaking them
> up ....
Do you mean this:
import sys
def pager(lines, length=23):
while lines:
sys.stdout.writelines(lines[:length])
lines = lines[length:]
if lines:
raw_input("--more--")
def main():
pager(open(sys.argv[1]).readlines())
if __name__ == '__main__':
main()
--
Moshe Zadka <moshez@math.huji.ac.il>
There is no GOD but Python, and HTTP is its prophet.
http://advogato.org/person/moshez
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