Skip to content

Fix CLI clear command#384

Open
ElysianIguana wants to merge 1 commit into
printfn:mainfrom
ElysianIguana:clear-command-flush
Open

Fix CLI clear command#384
ElysianIguana wants to merge 1 commit into
printfn:mainfrom
ElysianIguana:clear-command-flush

Conversation

@ElysianIguana
Copy link
Copy Markdown

The clear command does not flush stdout, meaning it is broken in a standard Linux console environment. This PR adds a flush so the clear command works as expected.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant