On Thu, 15 Oct 2026 18:27:06 +0000 Icesan <[email protected]> wrote:
> Hello. I'm looking to file a bug report for GNU Make, but I do not > know which Debian package the program is in. If you know which > specific package the tool is in, I'd appreciate the help. Thank you. Well, you could guess that it is the package "make", and running "apt show make" confirms it. Or you could use the apt-file program and some other tools to narrow it down: charles@hawk:~$ apt-file search $( which make ) | grep /make$ make: /usr/bin/make make-guile: /usr/bin/make charles@hawk:~$ -- Does anybody read signatures any more? https://charlescurley.com https://charlescurley.com/blog/
