35 lines
754 B
Python
35 lines
754 B
Python
#!/usr/bin/env python
|
|
|
|
import argparse
|
|
import os
|
|
import pathlib
|
|
import sys
|
|
|
|
|
|
def main():
|
|
parser = argparse.ArgumentParser()
|
|
parser.add_argument('symbols', type=argparse.FileType('r'))
|
|
|
|
args = parser.parse_args()
|
|
|
|
symbols = args.symbols.read()
|
|
try:
|
|
symbols = symbols.strip()
|
|
symbols = symbols.split("\n")
|
|
expressions = " and ".join(symbols)
|
|
if expressions:
|
|
print(f"-k \"{expressions}\"")
|
|
else:
|
|
print("")
|
|
finally:
|
|
args.symbols.close()
|
|
|
|
|
|
if __name__ == "__main__":
|
|
try:
|
|
main()
|
|
sys.stdout.flush()
|
|
except BrokenPipeError:
|
|
devnull = os.open(os.devnull, os.O_WRONLY)
|
|
os.dup2(devnull, sys.stdout.fileno())
|
|
sys.exit(1)
|