I note that /etc/grub.d/xxx all have #!/bin/bash Did I miss something or should these be #!/usr/bin/bash now. g
