cmd/repeat.py

50 lines
1.1 KiB
Python
Raw Normal View History

2019-06-12 05:41:31 +00:00
'''
Repeat the input as many times as you want.
2019-06-12 05:41:31 +00:00
> repeat "hello" 8
> echo hi | repeat !i 4
'''
import argparse
2019-06-12 05:41:31 +00:00
import sys
from voussoirkit import clipext
from voussoirkit import pipeable
def repeat_argparse(args):
text = clipext.resolve(args.text)
if args.times == 'inf':
try:
while True:
print(text)
except KeyboardInterrupt:
return 0
else:
try:
times = int(args.times)
except ValueError:
pipeable.stderr('times should be an integer >= 1.')
return 1
if times < 1:
pipeable.stderr('times should be >= 1.')
return 1
try:
for t in range(times):
print(text)
except KeyboardInterrupt:
return 1
def main(argv):
parser = argparse.ArgumentParser(description=__doc__)
parser.add_argument('text')
parser.add_argument('times')
parser.set_defaults(func=repeat_argparse)
2019-06-12 05:41:31 +00:00
args = parser.parse_args(argv)
return args.func(args)
2019-06-12 05:41:31 +00:00
if __name__ == '__main__':
raise SystemExit(main(sys.argv[1:]))