"David C. Rankin" <drankina...@gmail.com> on Wed, 2023/07/12 02:11:
> All,
> 
>    The pacman note on grub users the $ user-prompt designation instead of
> #, e.g.
> 
> :: To use the new features provided in this GRUB update, it is recommended
>     to install it to the MBR or UEFI. Due to potential configuration
>     incompatibilities, it is advised to run both, installation and
> generation of configuration:
>       $ grub-install ...
>       $ grub-mkconfig -o /boot/grub/grub.cfg
> 
> It's a "nit", but is there any reason it doesn't read:
> 
>       # grub-install ...
>       # grub-mkconfig -o /boot/grub/grub.cfg
> 
>    Chuckling .. if this is the only thing to bring up in the last 6 months
> - Arch is doing really, really good!
> 

https://gitlab.archlinux.org/archlinux/packaging/packages/grub/-/commit/4d4cb3a6e99b8f4d276a50286255ed8b9a4d4614

😉
-- 
main(a){char*c=/*    Schoene Gruesse                         */"B?IJj;MEH"
"CX:;",b;for(a/*    Best regards             my address:    */=0;b=c[a++];)
putchar(b-1/(/*    Chris            cc -ox -xc - && ./x    */b/42*2-3)*42);}

Attachment: pgpNCZ_VaEoOE.pgp
Description: OpenPGP digital signature

Reply via email to