Closed janmasrovira closed 3 months ago
Please open an issue in vscode-juvix once you merge this or another kind of PRs that remove/change the CLI that the vscode extension may depend on.
Please open an issue in vscode-juvix once you merge this or another kind of PRs that remove/change the CLI that the vscode extension may depend on.
suggestion: Add a smoke test for
--ide-end-error-char
I've done that in 99e67c90462c0fe823b921d22f5a94b149a332e2
--log-level LOG_LEVEL
flag to the CLI. This flag can be givenerror
,warn
,info
,progress
,debug
as argument to filter the logged messages.--only-errors
flag.--ide-end-error-char CHAR
, which receives a character as an argument, which is appended to the end of error messages. This is handy to facilitate parsing of errors messages from the ide. This functionality was previously embeded in the old--only-errors
flag.