More helpful message for unknown commands #111

Merged

basus merged 1 commits from master into master

basus commented (Migrated from github.com)

Entering an unknown command should guide the user towards finding the right command. So we provide a friendlier error message and print the standard help string.

Entering an unknown command should guide the user towards finding the right command. So we provide a friendlier error message and print the standard help string.

mbutterick commented (Migrated from github.com)

OK thanks!

OK thanks!

The pull request has been merged as 8adb6c3fc0.

You can also view command line instructions.

Step 1:

From your project repository, check out a new branch and test the changes.

git checkout -b master master

git pull origin master

Step 2:

Merge the changes and update on Gitea.

git checkout master

git merge --no-ff master

git push origin master

Sign in to join this conversation.

No reviewers

No Label

No Milestone

No project

No Assignees

1 Participants

Notifications

Due Date

The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Loading…

There is no content yet.