From 46c2ff2ef1dc9070093a17a595061a092b3943a3 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jakub=20Bartmi=C5=84ski?= Date: Tue, 10 Dec 2024 15:37:54 +0100 Subject: [PATCH] example_package: handle id length != 3 in ingen.sh --- example_package/prog/__ID__ingen.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) mode change 100644 => 100755 example_package/prog/__ID__ingen.sh diff --git a/example_package/prog/__ID__ingen.sh b/example_package/prog/__ID__ingen.sh old mode 100644 new mode 100755 index ad7b6e87..8d59ccde --- a/example_package/prog/__ID__ingen.sh +++ b/example_package/prog/__ID__ingen.sh @@ -9,7 +9,7 @@ prog_dir="$(realpath "$(dirname "$0")")" cache_dir="$prog_dir/../.cache" mkdir -p "$cache_dir" script_name="$(basename "$0")" -task_id=${script_name:0:3} +task_id=${script_name%ingen.sh} gen_exe="$cache_dir/${task_id}ingen" sol_exe="$cache_dir/${task_id}solution" slo_exe="$cache_dir/${task_id}slow"