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
As discussed here jbangdev/jbang#676 there are cases where you do not have a .java extension for your Jbang script.
.java
Example:
~/tmp/tmp2
hello
///usr/bin/env jbang "$0" "$@" ; exit $? import static java.lang.System.*; public class hello { public static void main(String... args) { out.println("Hello World"); } }
Currently those files can not be selected:
The text was updated successfully, but these errors were encountered:
Changing the way scripts are linked in the project as discussed in #47 (comment) would also help here.
Since you can add the extension to the linked file, even if the original file does not have it:
<linkedResources> <link> <name>src/hello.java</name> <type>1</type> <location>/home/jbr/tmp/tmp2/hello</location> </link> </linkedResources>
Sorry, something went wrong.
No branches or pull requests
As discussed here jbangdev/jbang#676 there are cases where you do not have a
.java
extension for your Jbang script.Reproducer<1/summary>- In the folder
- Create the file
Example:
~/tmp/tmp2
hello
with this content:Currently those files can not be selected:
The text was updated successfully, but these errors were encountered: