Re: Debian installation using debootstrap and grub-install - no entry in ESC boot menu

2023-04-26 Thread Nicolas George
David Wright (12023-04-25): > Don't knock it! The Human Era is much easier for us to parse than ;-) > the French Republican calendar (pre 2018). I had not realized I had fans devoted to the point of tracking the eras of my mail attribution. ;-)² Regards, -- Nicolas George signature.asc De

Re: Debian installation using debootstrap and grub-install - no entry in ESC boot menu

2023-04-26 Thread Nicolas George
Greg Wooledge (12023-04-25): > find /mnt/boot/efi -exec ls -dl {} + zsh ls -dl /mnt/boot/efi/**/* Regards, -- Nicolas George signature.asc Description: PGP signature

Re: Debian installation using debootstrap and grub-install - no entry in ESC boot menu

2023-04-25 Thread David Wright
On Wed 26 Apr 2023 at 09:14:25 (+0700), Max Nikulin wrote: > On 26/04/2023 00:42, Nicolas George wrote: > > Steve McIntyre (12023-04-25): [ … ] > P.S. Nicolas, it seems your mailer has issues with parsing or > formatting timestamps. Don't knock it! The Human Era is much easier for us to parse th

Re: Debian installation using debootstrap and grub-install - no entry in ESC boot menu

2023-04-25 Thread Greg Wooledge
On Wed, Apr 26, 2023 at 09:34:11AM +0700, Max Nikulin wrote: > On 26/04/2023 05:02, Valentin Caracalla wrote: > > > > user@host:~$ ls -dl $(find /mnt/boot/efi) > > find /mnt/boot/efi -print0 | xargs -0 ls -dl -- > > should be more resistant to peculiar file names, but it does not matter in > thi

Re: Debian installation using debootstrap and grub-install - no entry in ESC boot menu

2023-04-25 Thread Max Nikulin
On 26/04/2023 05:02, Valentin Caracalla wrote: user@host:~$ ls -dl $(find /mnt/boot/efi) find /mnt/boot/efi -print0 | xargs -0 ls -dl -- should be more resistant to peculiar file names, but it does not matter in this case. ... -rwxr-xr-x 1 root root 126 Apr 25 13:59 /mnt/boot/efi/EFI/

Re: Debian installation using debootstrap and grub-install - no entry in ESC boot menu

2023-04-25 Thread Max Nikulin
On 26/04/2023 00:42, Nicolas George wrote: Steve McIntyre (12023-04-25): If you do not intend to install a Microsoft bootloader or anything besides GRUB, 16 megaoctets is plenty enough, probably can work with less. Please STOP giving this advice to people! That was not advice, that was inform

Re: Re: Debian installation using debootstrap and grub-install - no entry in ESC boot menu

2023-04-25 Thread Nicolas George
Valentin Caracalla (12023-04-26): > EFI variables are not supported on this system. To install GRUB in UEFI, you need to have booted the kernel in UEFI. Try to find a live image that does, and you can reinstall GRUB from there. Regards, -- Nicolas George signature.asc Description: PGP sign

Re: Re: Debian installation using debootstrap and grub-install - no entry in ESC boot menu

2023-04-25 Thread Valentin Caracalla
Here's the output you requested: user@host:~$ ls -dl $(find /mnt/boot/efi) drwxr-xr-x 3 root root   32768 Jan  1  1970 /mnt/boot/efi drwxr-xr-x 3 root root   32768 Apr 25 13:59 /mnt/boot/efi/EFI drwxr-xr-x 2 root root   32768 Apr 25 13:59 /mnt/boot/efi/EFI/debian -rwxr-xr-x 1 root root 108

Re: Debian installation using debootstrap and grub-install - no entry in ESC boot menu

2023-04-25 Thread Nicolas George
Steve McIntyre (12023-04-25): > >If you do not intend to install a Microsoft bootloader or anything > >besides GRUB, 16 megaoctets is plenty enough, probably can work with > >less. > Please STOP giving this advice to people! That was not advice, that was information. Make your own advice with it.

Re: Debian installation using debootstrap and grub-install - no entry in ESC boot menu

2023-04-25 Thread Steve McIntyre
Nicolas George wrote: >Max Nikulin (12023-04-25): >> 0.5GB is usually enough, e.g. 550MiB recommended by >> https://www.rodsbooks.com/gdisk/advice.html#esp_sizing) > >If you do not intend to install a Microsoft bootloader or anything >besides GRUB, 16 megaoctets is plenty enough, probably can work

Re: Debian installation using debootstrap and grub-install - no entry in ESC boot menu

2023-04-25 Thread Nicolas George
Max Nikulin (12023-04-25): > 0.5GB is usually enough, e.g. 550MiB recommended by > https://www.rodsbooks.com/gdisk/advice.html#esp_sizing) If you do not intend to install a Microsoft bootloader or anything besides GRUB, 16 megaoctets is plenty enough, probably can work with less. Regards, --

Re: Debian installation using debootstrap and grub-install - no entry in ESC boot menu

2023-04-25 Thread Max Nikulin
On 25/04/2023 21:40, Valentin Caracalla wrote: I checked my partition table using "sudo parted /dev/sda print" Number  Start   End    Size   File system  Name  Flags 1  1049kB  128GB  128GB  fat32    init  boot, esp 2  128GB   256GB  128GB  ext4 root Please, show

Re: Debian installation using debootstrap and grub-install - no entry in ESC boot menu

2023-04-25 Thread Steve McIntyre
vorubergeh...@tutanota.com wrote: >By the way: > >The disadvantage of using EFI is that it doesn't work in QEMU, i.e. the >following will not show a GRUB command line: > >sudo qemu-system-x86_64 -accel kvm -smp 2 -m 2G /dev/sda > >The same thing works for the BIOS boot interface, however (as in my

Re: Re: Debian installation using debootstrap and grub-install - no entry in ESC boot menu

2023-04-25 Thread Nicolas George
Valentin Caracalla (12023-04-25): > The disadvantage of using EFI is that it doesn't work in QEMU, i.e. the > following will not show a GRUB command line: > > sudo qemu-system-x86_64 -accel kvm -smp 2 -m 2G /dev/sda Oh, I must check if the KVM virtual machine booting on UEFI I have been toying w

Re: Re: Debian installation using debootstrap and grub-install - no entry in ESC boot menu

2023-04-25 Thread Valentin Caracalla
By the way: The disadvantage of using EFI is that it doesn't work in QEMU, i.e. the following will not show a GRUB command line: sudo qemu-system-x86_64 -accel kvm -smp 2 -m 2G /dev/sda The same thing works for the BIOS boot interface, however (as in my original recipe).

Re: Re: Debian installation using debootstrap and grub-install - no entry in ESC boot menu

2023-04-25 Thread Valentin Caracalla
I apologize for the formatting in my last post, I don't know what happened. And many thanks for your help! I checked my partition table using "sudo parted /dev/sda print" and it didn't show any flags for partition 1 (the "init" partition). Therefore I manually set the flags using "sudo parted /

Re: Debian installation using debootstrap and grub-install - no entry in ESC boot menu

2023-04-25 Thread Anssi Saari
Valentin Caracalla writes: > But this doesn't work either. Same problem here. However I can make > such an EFI installation using official installation media on the same > machine and that does work. That recipe (and the whole post) was hard to read but don't you need some flags for the ESP part

Re: Re: Debian installation using debootstrap and grub-install - no entry in ESC boot menu

2023-04-25 Thread Valentin Caracalla
> I can't see anything wrong with the script. Did that installation use> GPT > and a BIOS Boot Partition though?The successful installation (with official > installation media) used aBIOS partition table, but I prefer GPT.> I guess I > have to ask, why not just use UEFI?I also tried that and I c

Re: Debian installation using debootstrap and grub-install - no entry in ESC boot menu

2023-04-25 Thread Valentin Caracalla
There are a few things I forgot to say: The recipe I posted earlier is executed on a system installed on the external drive /dev/sdb, which I call the installer system. It is also a Debian system, with the recipe's dependencies installed. To reproduce the issue (if you want), I suggest using a

Re: Debian installation using debootstrap and grub-install - no entry in ESC boot menu

2023-04-25 Thread Anssi Saari
Valentin Caracalla writes: > Previously, I've successfully installaed Debian using official > installation media on this machine (also using BIOS boot interface), > so I know that it works in principle. I can't see anything wrong with the script. Did that installation use GPT and a BIOS Boot Par