Open tsdgeos opened 2 weeks ago
- rename the Makefile.txt
Minimal reproducer:
install:
.PHONY : install
install/fast:
.PHONY : install/fast
install/local:
.PHONY : install/local
The current implementation of the make
completion assumes install
to be a directory name when other targets like install/fast
and install/local
exist. Then, it considers that the main targets are install/fast
and install/local
and removes the target install
assuming it is a secondary target just to prepare a directory for the main targets.
Maybe we can preserve the phony targets as is, but in the current implementation, the stages of generating targets and filtering the paths are separated. The latter stage doesn't know which ones were generated as phony targets.
The current implementation of the make completion assumes install to be a directory name when other targets like install/fast and install/local exist.
Please don't do that :)
Describe the bug
To reproduce
Expected behavior
It should autocomplete to make install like it used to (given that there is an install target in the Makefile)
Versions (please complete the following information)
echo "$BASH_VERSION"
: 5.2.26(1)-release(IFS=.; echo "${BASH_COMPLETION_VERSINFO[*]}")
: 2.14.0Additional context
This used to work with bash completion 2.11