From fc6aee0c5fef07de7158a1222f07608af2c58c1e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Eduardo=20S=C3=A1nchez=20Mu=C3=B1oz?= Date: Wed, 27 Dec 2023 12:32:55 +0100 Subject: [PATCH] Avoid double slash (`//`) in generated scripts e.g., put `bash /steps/1.sh` instead of `bash /steps//1.sh` --- seed/script-generator.c | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/seed/script-generator.c b/seed/script-generator.c index fd57c12..af64e3a 100644 --- a/seed/script-generator.c +++ b/seed/script-generator.c @@ -461,8 +461,10 @@ void output_call_script(FILE *out, char *type, char *name, int using_bash, int s fputs("kaem --file ", out); } fputs("/steps/", out); - fputs(type, out); - fputs("/", out); + if (strlen(type) != 0) { + fputs(type, out); + fputs("/", out); + } fputs(name, out); fputs(".sh\n", out); }