We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Since #507 got closed, Kona script files need a .k extension, and ./k <basename> automatically appends the extension to basename if it's not present.
./k <basename>
For files without the extension, this causes a rather confusing error message to be printed.
$ ./k helloworld helloworld: file not found $ ls helloworld helloworld
One solution would be to print the modified filename instead.
$ ./k helloworld helloworld.k: file not found
The text was updated successfully, but these errors were encountered:
No branches or pull requests
Since #507 got closed, Kona script files need a .k extension, and
./k <basename>
automatically appends the extension to basename if it's not present.For files without the extension, this causes a rather confusing error message to be printed.
One solution would be to print the modified filename instead.
The text was updated successfully, but these errors were encountered: