Skip to content

Commit 3703783

Browse files
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: Icc194a5773860d1923dd274ebf471ba62a397370
1 parent 9711c67 commit 3703783

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

console.c

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -355,7 +355,7 @@ static bool do_option(int argc, char *argv[])
355355
static bool do_source(int argc, char *argv[])
356356
{
357357
if (argc < 2) {
358-
report(1, "No source file given");
358+
report(1, "No source file given. Use 'source <file>'.");
359359
return false;
360360
}
361361

0 commit comments

Comments
 (0)