Boot-Repair

  1. Bug #1005077
  2. Comment #2

Comment 2 for bug 1005077

Revision history for this message
YannUbuntu (yannubuntu) wrote :

According to Gert (BootInfoScript maintainer), Gawk is currently needed instead of Mawk because the current version of Mawk (1.3.3) is buggy.
Many bugs of Mawk are fixed in a new upstream version, but the Debian maintainer does not want to update for an obscure reason.
We need to push here: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=554167