Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > linux.debian.user > #273164

Re: Best practice for fresh install on UEFI with multiple disks?

Show all headers | View raw

On Thu, 19 Sep 2024, Florent Rougon wrote:

> Hi,
>
> Le 19/09/2024, Andy Smith <andy@strugglers.net> a ?crit:
>
>> I don't think the answer, on Debian, has changed since I asked the
>> same question in 2020:
>>
>>     https://lists.debian.org/debian-user/2020/11/msg00455.html
>
> There is a script at [1] to install as, e.g.,
> /etc/grub.d/90_copy_to_boot_efi2, so that it is automatically run every
> time grub updates its configuration file. I believe the script is fine,
> except I would do
>
>  mount /boot/efi2
>
> rather than
>
>  mount /boot/efi2 || :
>
> Maybe the intent is for the script not to return a non-zero exit status
> when /boot/efi2 can't be mounted, however in this case I certainly don't
> want the rsync command to be run.
>

Haven't looked at the script but assuming it's run set -e, then your
suggestion will fail if it's already mounted.

Best would be to check that, and unmount again only if the script
mounted.

Tim.

Back to linux.debian.user | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

Thread

Best practice for fresh install on UEFI with multiple disks? Boyan Penkov <boyan.penkov@gmail.com> - 2024-09-19 02:30 +0200
  Re: Best practice for fresh install on UEFI with multiple disks? Andy Smith <andy@strugglers.net> - 2024-09-19 04:00 +0200
    Re: Best practice for fresh install on UEFI with multiple disks? Florent Rougon <f.rougon@free.fr> - 2024-09-19 12:10 +0200
      Re: Best practice for fresh install on UEFI with multiple disks? Tim Woodall <debianuser@woodall.me.uk> - 2024-09-20 04:30 +0200
        Re: Best practice for fresh install on UEFI with multiple disks? Florent Rougon <f.rougon@free.fr> - 2024-09-20 09:50 +0200
          Re: Best practice for fresh install on UEFI with multiple disks? Tim Woodall <debianuser@woodall.me.uk> - 2024-09-20 12:20 +0200
            Re: Best practice for fresh install on UEFI with multiple disks? Florent Rougon <f.rougon@free.fr> - 2024-09-20 12:50 +0200
              Re: Best practice for fresh install on UEFI with multiple disks? Tim Woodall <debianuser@woodall.me.uk> - 2024-09-20 20:20 +0200
                Re: Best practice for fresh install on UEFI with multiple disks? Boyan Penkov <boyan.penkov@gmail.com> - 2024-09-30 16:20 +0200
                Re: Best practice for fresh install on UEFI with multiple disks? Florent Rougon <f.rougon@free.fr> - 2024-09-30 18:30 +0200
                Re: Best practice for fresh install on UEFI with multiple disks? Boyan Penkov <boyan.penkov@gmail.com> - 2024-11-01 01:10 +0100

csiph-web