Skip to content

Treat unicode characters as errors - #21

Merged
troelsjessen merged 4 commits into
masterfrom
minus
Nov 5, 2025
Merged

troelsjessen merged 4 commits into
masterfrom
minus

Conversation

@troelsjessen

Copy link
Copy Markdown

I will be VERY disapointed if you just approve this PR

From a functional point of view, the major issue is that we are currenting hanging in line 1034 until a newline character is received

@jeanbaptistelab jeanbaptistelab left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

jeanbaptistelab and others added 3 commits November 4, 2025 19:50
This allows typing " cmd" instead of "cmd"  and not being thrown out with an "Unknown command".
Update code comments after handling of "#"
@troelsjessen
troelsjessen merged commit 51c9c6a into master Nov 5, 2025
1 check passed
@troelsjessen
troelsjessen deleted the minus branch November 5, 2025 11:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

2 participants