From e7fb2e2b341749cd8751919b8b1e42abdce756ae Mon Sep 17 00:00:00 2001
From: Stefan Rueger <stefan.rueger@urclocks.com>
Date: Mon, 15 May 2023 17:08:41 +0100
Subject: [PATCH] Allow inline # comments for terminal commands

---
 src/term.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/term.c b/src/term.c
index c74dc957..8b84a8b6 100644
--- a/src/term.c
+++ b/src/term.c
@@ -1097,6 +1097,8 @@ int tokenize(char *s, char ***argvp) {
 
   for(n=0, r=s; *r; ) {
     nexttok(r, &q, &r);
+    if(*q == '#')               // Inline comment: ignore rest of line
+      break;
     strcpy(buf, q);
     argv[n++] = buf;
     buf += strlen(q) + 1;