Dual-boot

Note to self: after update sometimes Windows disappears from the grub boot menu. To put it back, just edit /etc/default/grub and add the line

GRUB_DISABLE_OS_PROBER = false

And then just run

# update-grub

That should put Windows back in the list. By the way, if os-prober is disabled, update-grub will warn you.