Hello,
Please find below an update from previous patch suggested
--- postinst2021-10-06 17:16:32.966812000 -0400
+++ postinst.913655.patched 2021-10-27 09:03:25.32434 -0400
@@ -73,7 +73,6 @@
# This only works on a Linux system with udev running. This is probably the
# vast majo
Package: grub-pc
Version: 2.02+dfsg1-8
Severity: minor
On a system with almost a thousand devices (don't ask) I noticed that
installing grub
takes over an hour. It was sorting device ids the whole time.
In the post install script there is a "cached_available_ids" variable set to
prevent this.
Bu
2 matches
Mail list logo
