1 Jun
2013
1 Jun
'13
2:45 p.m.
I note that /etc/grub.d/xxx all have #!/bin/bash Did I miss something or should these be #!/usr/bin/bash now. g