From 370378387a7d94a53791cdb94e4a02d9b61084b0 Mon Sep 17 00:00:00 2001
From: Eric Chou <yphbchou0911@gmail.com>
Date: Tue, 11 Mar 2025 13:52:38 +0800
Subject: [PATCH] Improve source command feedback

Enhance the "source" command by providing clearer feedback to users.
Now, if no source file is specified, the message explicitly suggests
using "source <file>" for better clarity.

Co-authored-by: JimmyChongz <yt25707321@gmail.com>
Change-Id: Icc194a5773860d1923dd274ebf471ba62a397370
---
 console.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/console.c b/console.c
index 889732180..f76140e06 100644
--- a/console.c
+++ b/console.c
@@ -355,7 +355,7 @@ static bool do_option(int argc, char *argv[])
 static bool do_source(int argc, char *argv[])
 {
     if (argc < 2) {
-        report(1, "No source file given");
+        report(1, "No source file given. Use 'source <file>'.");
         return false;
     }