diff options
author | Florian Dold <florian.dold@gmail.com> | 2016-03-04 16:22:39 +0100 |
---|---|---|
committer | Florian Dold <florian.dold@gmail.com> | 2016-03-04 16:22:39 +0100 |
commit | 312ec01919f471ffb164b91fd991a3d706d5cb31 (patch) | |
tree | a8d819997048810af11511732a2209846dd00c79 | |
parent | 5c21ca0dda92fac5aecd84e3fa67b4d33462e70f (diff) | |
download | deployment-312ec01919f471ffb164b91fd991a3d706d5cb31.tar.gz deployment-312ec01919f471ffb164b91fd991a3d706d5cb31.tar.bz2 deployment-312ec01919f471ffb164b91fd991a3d706d5cb31.zip |
add rebuild monitoring
-rwxr-xr-x | monitor-rebuild | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/monitor-rebuild b/monitor-rebuild new file mode 100755 index 0000000..21f0f54 --- /dev/null +++ b/monitor-rebuild @@ -0,0 +1,14 @@ +#!/usr/bin/python3 + +import sys + + +while True: + f = open(sys.argv[1]) + + while True: + x = f.readline() + if not x: + break + print("got line:", x) + |