The question you link is clearly off topic. It is about about Mint and GRUB, not directly related to Ubuntu in any way. This would be better at the [Linux/Unix site][1].


  [1]: http://unix.stackexchange.com/