From da5a3bae3e9a514983d33ad45ea4a3d3bba443b8 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Ekl=C3=B6f?= Date: Thu, 22 Apr 2021 10:57:27 +0200 Subject: [PATCH] generate-alt-random: assert that lines/cols/width/height are > 0 --- scripts/generate-alt-random-writes.py | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/scripts/generate-alt-random-writes.py b/scripts/generate-alt-random-writes.py index 8aa4835c..33033081 100755 --- a/scripts/generate-alt-random-writes.py +++ b/scripts/generate-alt-random-writes.py @@ -59,6 +59,11 @@ def main(): if lines is None or cols is None or height is None or width is None: raise Exception('could not get terminal width/height; use --rows and --cols') + assert lines > 0, f'{lines}' + assert cols > 0, f'{cols}' + assert width > 0, f'{width}' + assert height > 0, f'{height}' + # Number of characters to write to screen count = 256 * 1024**1