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 <[email protected]>
Change-Id: I16a0629940e832ea663e7aa9115db0f9c6d28096

Author: EricccTaiwan

console.c

@@ -355,15 +355,14 @@ 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;
     }
 
     if (!push_file(argv[1])) {
         report(1, "Could not open source file '%s'", argv[1]);
         return false;
     }
-
     return true;
 }