On 12/11/2023 21:37, Greg Wooledge wrote:
It doesn't help that "apt install ./file" is not documented in the official man pages. People can only learn about it from the wiki, or from word of mouth.
It is documented in various guides: https://www.debian.org/doc/manuals/debian-reference/ch02.en.html#listofadvancedpagementoperations
Table 2.13. List of advanced package management operations
apt install /path/to/package_filename.deb install a local package to the system, meanwhile try to resolve dependency automatically
https://www.debian.org/doc/manuals/debian-handbook/sect.apt-get.en.html#id-1.9.17.11.31
If the package to install has been made available to you under the form of a simple .deb file without any associated package repository, it is still possible to use APT to install it together with its dependencies (provided that the dependencies are available in the configured repositories) with a simple command: apt install ./path-to-the-package.deb. The leading ./ is important to make it clear that we are referring to a filename and not to the name of a package available in one of the repositories.
