From 8fcd0fd71cecd6689193ea227f92a6d48978ef3b Mon Sep 17 00:00:00 2001
From: Stefan Rueger <stefan.rueger@urclocks.com>
Date: Wed, 14 Aug 2024 18:34:44 +0100
Subject: [PATCH] Record command line when debugging

---
 src/main.c | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/main.c b/src/main.c
index ce2be3b5..f6ddcf26 100644
--- a/src/main.c
+++ b/src/main.c
@@ -712,6 +712,10 @@ int main(int argc, char * argv [])
 
   atexit(cleanup_main);
 
+  msg_debug("$ ");              // Record command line when debugging
+  for(int i=0; i<argc; i++)
+    msg_debug("%s%c", argv[i], i == argc-1? '\n': ' ');
+
   updates = lcreat(NULL, 0);
   if (updates == NULL) {
     pmsg_error("cannot initialize updater list\n");