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


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