From 06be559ae9572a114825fbfc591c94dd45481966 Mon Sep 17 00:00:00 2001 From: Profpatsch Date: Thu, 6 Jan 2022 20:46:46 +0100 Subject: pkgs/profpatsch/execline/runblock: check for empty block MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit It’s always a mistake to forget a block here, so this will give a better error message. --- pkgs/profpatsch/execline/runblock.nix | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) (limited to 'pkgs/profpatsch/execline') diff --git a/pkgs/profpatsch/execline/runblock.nix b/pkgs/profpatsch/execline/runblock.nix index 0b380229..b54211db 100644 --- a/pkgs/profpatsch/execline/runblock.nix +++ b/pkgs/profpatsch/execline/runblock.nix @@ -20,7 +20,7 @@ let block_number = int(sys.argv[2]) block_start = 3 elif one.startswith("-"): - print("only -r supported", file=sys.stderr) + print("runblock-python: only -r supported", file=sys.stderr) sys.exit(100) else: block_number = int(one) @@ -32,6 +32,12 @@ let def parse_block(args): new_args = [] + if args == []: + print( + "runblock-python: empty block", + file=sys.stderr + ) + sys.exit(100) for arg in args: if arg == "": break @@ -39,7 +45,7 @@ let new_args.append(arg[1:]) else: print( - "unterminated block: {}".format(args), + "runblock-python: unterminated block: {}".format(args), file=sys.stderr ) sys.exit(100) -- cgit 1.4.1