On 12/02/2025 at 21:18, Holger Wansing wrote:
mag...@autistici.org wrote (Mon, 10 Feb 2025 20:24:35 +0000):
The installation report below didn't make it to the list even
though I attached the syslog and partman files compressed.
The total mail size is almost 400 kB. I guess it is above the mailing
list limit. Maybe this limit should be raised, given that this list
receives bug reports which may contain big attachments such as
installation logs or screenshots ?
2) During manual partitioning I created an ESP as this is
an (U)EFI system. I expected I needed to configure the
mount point /boot/efi but it seems there is no way to do
it - and everything works without it. :-) Is this mount
point configured automatically because it's always the
same for an ESP? If yes, could the partitioner show it
anyway in the overview page?
Yes, the ESP partition is automatically mounted at /boot/efi
for the installed system.
Several EFI partitions may be present, only one will be chosen and
mounted on /boot/efi only when the user finishes partitioning and
changes are written to disk. So it would be a bit weird to show the same
mount point for several partitions.
Currently, when installing from a DVD (image), the sources.list
entry for this DVD is left untouched after installation, so it is
expected to have package sources available via DVD for the next
package update.
I think this is intended for use cases, where installation is done
without an active internet connection, so on machines or regions, where
a permanent internet connection is not usual. (Such sort of installation
can work well indeed, if you use a DVD, since that media can store lots
of packages.)
When installing from a netinst image, or a live image, the relevant
sources.list entry is disabled automatically at the end of installation.
For DVDs you need to do this by hand (as you mentioned). Or, when you
use the expert install option, you are asked about this.
I suspect that nowadays most people use USB sticks as installation media
instead of DVDs. However in my experience apt cannot automatically use a
USB stick because it expects the installation media to be an optical
disc mounted on /media/cdrom, and USB drives are usually mounted in
/media/$USER/ by default.
So maybe the installer should also disable the cdrom entry in
sources.list automatically when the installation media is a USB drive ?