google / google/google-java-format

do not touch /// in first lines

Offen
#1,218 4 Kommentare 0 Reaktionen 0 zugewiesene Personen Auf GitHub ansehen
Vorherrschende Sprache
Java
Sterne
6.2k
Forks
937
Ø Merge
6 Min.
Gemergte PRs (30 T.)
3

Beschreibung

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.

Beitragsleitfaden

Beitragsleitfaden öffnen

Bewertung

Dieses Issue wurde noch nicht bewertet.

Neue Issues direkt in Ihr Postfach

Eine kurze Übersicht über anfängerfreundliche GitHub-Issues.