Bug#585561: grub2: 05_debian_theme should use dash, not bash

[Alex Chiang]

Package: grub2
Version: 1.98
Severity: important

debian/grub.d/05_debian_theme specifies /bin/bash.

This can cause an issue on installs without bash.

Running checkbashisms reveals that it is rather trivial to convert the script to be dash-compliant, so let's just do that.


-- System Information:
Debian Release: squeeze/sid
  APT prefers lucid-updates
  APT policy: (500, 'lucid-updates'), (500, 'lucid-security'), (500, 'lucid')
Architecture: amd64 (x86_64)

Kernel: Linux 2.6.32-22-generic (SMP w/2 CPU cores)
Locale: LANG=en_US.utf8, LC_CTYPE=en_US.utf8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash