diff options
author | Franck Cuny <franck@fcuny.net> | 2022-10-17 19:15:02 -0700 |
---|---|---|
committer | Franck Cuny <franck@fcuny.net> | 2022-10-17 19:15:23 -0700 |
commit | 60ca05e1e2fb152dbeb69f0558be4d8f42e7b523 (patch) | |
tree | 5a935c1982408572da2b6cfbea57fcb53789349a /tools/ipconverter | |
parent | feat(home/python): add lsp/mypy packages (diff) | |
download | world-60ca05e1e2fb152dbeb69f0558be4d8f42e7b523.tar.gz |
ref(tools/python): make mypy happy
Diffstat (limited to '')
-rwxr-xr-x | tools/ipconverter/ipconverter.py | 13 |
1 files changed, 8 insertions, 5 deletions
diff --git a/tools/ipconverter/ipconverter.py b/tools/ipconverter/ipconverter.py index fffc6fa..6b01d5d 100755 --- a/tools/ipconverter/ipconverter.py +++ b/tools/ipconverter/ipconverter.py @@ -3,8 +3,6 @@ import argparse import ipaddress import sys -import fileinput - argp = argparse.ArgumentParser() argp.add_argument("infile", nargs="?", type=argparse.FileType("r"), default=sys.stdin) @@ -12,14 +10,19 @@ args = argp.parse_args() # read the input, filter out commented lines and remove new line characters string_ips = [ - ip for l in args.infile.readlines() if (ip := l.strip()) and not ip.startswith("#") + ip + for line in args.infile.readlines() + if (ip := line.strip()) and not ip.startswith("#") ] # convert entries to int if the string is a numeric value ips = list(map(lambda n: int(n) if n.isnumeric() else n, string_ips)) -# helper function to convert based on the name of the program -conv = lambda n: int(n) if argp.prog == "ip2int" else str(n) + +def conv(n): + """helper function to convert based on the name of the program""" + return int(n) if argp.prog == "ip2int" else str(n) + for ip in ips: try: |