Thanks for the information, I checked grub-mkconfig, the output is attached.
Short version : indeed, this commands prompts "Ubuntu" instead of "Linux Mint 19 Xfce". I don't know exactly why... and it does not correspond to the what I got at boot when pressing Esc / Shift to select the booting kernel.
I did not changed this file by hand, by the way. Could this be due to the fact that my current kernel was self patched + compiled + installed ?
Hello,
Thanks for the information, I checked grub-mkconfig, the output is attached.
Short version : indeed, this commands prompts "Ubuntu" instead of "Linux Mint 19 Xfce". I don't know exactly why... and it does not correspond to the what I got at boot when pressing Esc / Shift to select the booting kernel.
I did not changed this file by hand, by the way. Could this be due to the fact that my current kernel was self patched + compiled + installed ?