Skip to content
New issue

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

do not touch /// in first lines #1218

Open
maxandersen opened this issue Jan 7, 2025 · 1 comment
Open

do not touch /// in first lines #1218

maxandersen opened this issue Jan 7, 2025 · 1 comment

Comments

@maxandersen
Copy link

issue is that in many shells you can use triple slashes ///, i.e. ///usr/bin/env jbang "$0" "$@" ; exit $? as a trick to be compatible with both shell scripts and java code.

JDK javadoc linter had this issue too and is now fixed in https://bugs.openjdk.org/browse/JDK-8341907

would be great if google-java-format could honor the same.

@vorburger
Copy link
Member

@maxandersen as mentioned on #1217 (comment), this issue seems like it may be an exact duplicate of previously raised #1215 about the same, do you want to close this one?

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

No branches or pull requests

2 participants