On 2019-06-01, Brian <ad44@cityscape.co.uk> wrote:
It can happen that a line such as
deb file:///home/richard/dvdmount pool/main/
gives the error message " ... does not have a Release file
Leaving aside the validity of the line, this message is an indication
that an option has not been delivered to apt correctly.
man apt-cdrom
It is necessary to use apt-cdrom to add CDs to the APT system; it cannot be
done by hand. Furthermore each disc in a multi-CD set must be inserted and
scanned separately to account for possible mis-burns.
/etc/fstab
/home/richard/dvdmount /mnt/dvdmount iso9660 user,loop 0 0
with mount-point mounted
apt-cdrom -m -d=/mnt/dvdmount add
if apt persists in asking for insertion of the disk
apt.conf
Acquire::cdrom::mount "/mnt/dvdmount";
APT::CDROM::NoMount;
Worked for an anonymous user on the internets, which is pretty damn persuasive.