Witam. Rozwiązanie zapożyczone stąd , jednak pomyślałem, że niektórym początkującym użytkownikom (jak ja) się przyda zamieszczone gdzieś tutaj. W innym wypadku proszę o usunięcie i przepraszam za kłopot. Aby ustawić system Windows jako domyślny, otwieramy terminal i wpisujemy: fgrep menuentry /boot/...