TODO

   1 Make the script more portable:
   2
   3 grub.mkconfig is built from gub-mkconfig.in with something like this:
   4
   5 grub-mkconfig: util/grub-mkconfig.in  $(top_builddir)/config.status
   6         $(top_builddir)/config.status --file=-:$< | sed -e 's,@pkglib_DATA@,$(pkglib_DATA),g' > $@
   7         chmod a+x grub-mkconfig
   8
   9 autotools do the substitutions of placeholders used in grub-mkconfig.in
  10
  11 prefix=@prefix@
  12 exec_prefix=@exec_prefix@
  13 sbindir=@sbindir@
  14 bindir=@bindir@
  15 libdir=@libdir@
  16 sysconfdir=@sysconfdir@
  17 PACKAGE_NAME=@PACKAGE_NAME@
  18 PACKAGE_VERSION=@PACKAGE_VERSION@
  19 host_os=@host_os@
  20 datarootdir=@datarootdir@
  21 datadir=@datadir@
  22 pkgdatadir=${datadir}/`echo @PACKAGE_TARNAME@ | sed "${transform}"`