Dual boot con Debian e Windows 10: differenze tra le versioni

Possibilità di cambio sistema di avvio predefinito
(Possibilità di cambio sistema di avvio predefinito)
Riga 44: Riga 44:
Al boot della macchina, comparirà la schermata di [[GRUB]] in cui verranno elencati i sistemi operativi che è possibile avviare (nel nostro caso Debian e Windows 10).
Al boot della macchina, comparirà la schermata di [[GRUB]] in cui verranno elencati i sistemi operativi che è possibile avviare (nel nostro caso Debian e Windows 10).
[[File:Grub-w10-deb.png|centro|miniatura|500x500px]]
[[File:Grub-w10-deb.png|centro|miniatura|500x500px]]
{{Suggerimento|Nel caso si volesse avviare Windows 10 come sistema predefinito di avvio è sufficiente da debian dare il seguente comando
<pre># mv /etc/grub.d/30_os-prober /etc/grub.d/08_os-prober
# update-grub2</pre>}}
== Ripristino ==
== Ripristino ==
TODO
TODO