Bug#913190: bash-completion: Update 'java' completion to support '.java' files

2023-04-12 Thread Geoffrey Thomas
Control: severity -1 normal A side effect of the lack of support for .java files is that bash-completion will turn slashes into dots for a Java command line. For instance, if you type $ java /home/ and press TAB, it will turn into $ java .home. IMO this raises the request from a new feature

Bug#913190: bash-completion: Update 'java' completion to support '.java' files

2018-11-07 Thread Emmanuel Bourg
Package: bash-completion Version: 1:2.8-2 Severity: wishlist User: debian-j...@lists.debian.org Usertags: default-java11 .java files used to be compiled into .class files with 'javac' and then executed with 'java', but starting with Java 11 the explicit compilation can be skipped and the file