On Sat, Nov 11, 2023 at 10:17:09PM +0000, David wrote: > Looking for an authoritative source of information to show you, > I found only this: > > https://wiki.debian.org/DebianPackageManagement#Installing_and_removing_packages > which says: > You can also install a .deb file with: > # apt install </path/to/deb/file/debfile.deb> > > My understanding is that the <target> must look like a pathname. > So, to install 'debfile.deb' in the current directory, it should look like > apt install ./debfile.deb > > Maybe someone else knows where the authoritative documentation > of this capability can be read, if there is any.
I think you've found it. It's not in ANY man page that I'm aware of.