diff options
author | Peter Wu <peter@lekensteyn.nl> | 2014-06-18 12:53:44 +0200 |
---|---|---|
committer | Peter Wu <peter@lekensteyn.nl> | 2014-06-18 12:53:44 +0200 |
commit | 2646f56dd84a981eaeac38b592706c7d13346606 (patch) | |
tree | f7e187e4ce8efc45e2d710244635db27e5832970 /rare | |
parent | 430a4d337810ec9b424a0281ba5945e7e901acc4 (diff) | |
download | scripts-2646f56dd84a981eaeac38b592706c7d13346606.tar.gz |
interrupts-graph.py: args for xrange and interval
Diffstat (limited to 'rare')
-rwxr-xr-x | rare/interrupts-graph.py | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/rare/interrupts-graph.py b/rare/interrupts-graph.py index ae30eb3..dbef311 100755 --- a/rare/interrupts-graph.py +++ b/rare/interrupts-graph.py @@ -48,11 +48,19 @@ parser.add_argument('-o', dest='output_filename', help='Target file to write interrupt entries to') parser.add_argument('-l', dest='limit_seconds', type=float, help='Maximum number of seconds to remember in the graph (0 for unbounded)') +parser.add_argument('-x', '--xrange', type=float, + help='Range of x values to display') +parser.add_argument('-I', '--interval', type=float, + help='Seconds to wait between updates') args = parser.parse_args() if args.input_filename: input_filename = args.input_filename if args.output_filename: output_filename = args.output_filename +if args.xrange: + XRANGE = args.xrange +if args.interval: + INTERVAL = args.interval if args.limit_seconds is not None: if args.limit_seconds > 0: |