Dual boot con Debian e Windows 10: differenze tra le versioni
m (→Ripristino) |
S3v (discussione | contributi) Nessun oggetto della modifica |
||
Riga 56: | Riga 56: | ||
== Ripristino == | == Ripristino == | ||
È possibile rimuovere completamente [[Debian]] dal dispositivo e ripristinare Windows 10 sia da Debian che da Windows.<br/> | |||
La rimozione completa consiste di tre fasi. | |||
# Rimozione di GRUB | |||
# Rimozione delle voce relativa a Debian da UEFI | |||
# Rimozione delle partizioni | |||
=== Rimozione boot loader === | === Rimozione boot loader === | ||
GRUB può essere rimosso tramite la cancellazione della directory relativa a Debian che si trova nella partizione EFI.<br/> | |||
Dopo aver completato questa operazione e riavviato la macchina, il sistema utilizzerà il boot manager di Windows che, a sua volta e a meno di altre configurazioni, avvierà automaticamente Windows 10. | |||
==== Debian ==== | |||
Dopo il login in Debian, accertarsi che la partizione <code>/dev/sda1</code> sia montata: | |||
<pre> | |||
# mount /dev/sda1 | |||
mount: /boot/efi: /dev/sda1 already mounted on /boot/efi | |||
</pre> | |||
il precedente output visualizza il [[mountpoint]], in questo caso <code>/boot/efi</code> .<br/> | |||
Controllare che esista la directory <code>/boot/efi/EFI/debian</code>; | |||
<pre> | |||
# ls /boot/efi/EFI | |||
boot debian Microsoft | |||
</pre> | |||
e infine cancellarla: | |||
<pre> | |||
# cd /boot/efi/EFI | |||
# rm -rf debian | |||
</pre> | |||
==== Windows ==== | |||
È necessario avviare come amministratore Windows PowerShell e dare i seguenti comandi | |||
<pre> | <pre> | ||
mountvol S: /S | mountvol S: /S | ||
Riga 65: | Riga 93: | ||
rd /S debian | rd /S debian | ||
</pre> | </pre> | ||
=== Rimozione voci da UEFI === | |||
Questo passo non è fondamentale e serve soltanto per non lasciare voci relative a Debian nell'UEFI (noto in precedenza come [[BIOS]]) della macchina.<br/> | |||
La procedura varia da macchina a macchina e consiste nell'avviare UEFI al boot tramite i tasti specificati nel manuale del produttore e rimuovere la voce dalla sequenza di boot.<br/> | |||
Notare che, anche se si lascia la voce relativa a Debian nella sequenza di boot, questa non verrà comunque considerata in quanto fa riferimento ad boot loader (GRUB) cancellato in precedenza. | |||
=== Rimozione partizioni === | === Rimozione partizioni === | ||
Utilizzare la combinazione di tasti "Win+r" e digitare: | Utilizzare la combinazione di tasti "Win+r" e digitare: | ||
Riga 71: | Riga 105: | ||
</pre> | </pre> | ||
A questo punto rimuovere le partizioni create dall'installer debian (sono due, una del sistema e una per la swap). In seguito si può estendere la dimensione della partizione C:\ per riavere lo spazio su Windows. | A questo punto rimuovere le partizioni create dall'installer debian (sono due, una del sistema e una per la swap). In seguito si può estendere la dimensione della partizione C:\ per riavere lo spazio su Windows. | ||
TODO image | |||
{{Autori | {{Autori | ||
|Autore= [[Utente:S3v|S3v]] | |Autore= [[Utente:S3v|S3v]] | ||
}} | }} | ||
[[Categoria: Installazione]] | [[Categoria: Installazione]] |
Versione delle 16:34, 2 apr 2021
Attenzione: questo articolo è ancora incompleto e in fase di scrittura da parte del suo autore.
Sentitevi liberi di contribuire, proponendo modifiche alla guida tramite l'apposita pagina di discussione, in modo da non interferire con il lavoro portato avanti sulla voce. Per altre informazioni si rimanda al template. |
Versioni Compatibili Debian 10 "buster" Debian 11 "bullseye" |
In questa guida verranno indicati i diversi passi per installare Debian partendo da un'installazione già esistente e funzionante di Windows 10.
Al termine si otterrà un sistema con entrambi i sistemi operativi installati e con la possibilità di scegliere, al momento della fase di boot della macchina. quale dei due avviare.
Caveat
Questa guida è stata testata per un dual boot Debian-Windows 10 basato su uno schema di partizioni GPT. Se la propria macchina utilizza uno schema MBR, estendere liberamente questa guida con tutte le informazioni che si ritengono necessarie.
Prima di iniziare
Operazioni preliminari all'applicazione di questa guida:
- Aggiornare Windows 10
- è importante che Windows 10 sia aggiornato in modo da correggere eventuali problemi che possano influire nella procedura indicata all'interno di questa guida.
Notare che alcuni aggiornamenti potrebbero non essere rilevati fino a quando altri aggiornamenti non siano stati precedentemente installati. Ricercare tutti gli aggiornamenti non facoltativi fino a quando si è sicuri di averli installati tutti. - Eseguire un backup
- è fondamentale che sia stata approntata una copia di tutti i file ritenuti importanti. Le operazioni descritte, benché non complesse, riguardano procedure che coinvolgono i dischi di sistema e i File System (e, quindi, i file) che vi si trovano. È assolutamente vitale avere una copia dei file che non si vuole perdere nel caso qualcosa andasse storto. Siete avvertiti ;)
- Boot da USB o CD(DVD)-ROM
- assicurarsi che la propria macchina consenta l'avvio tramite USB o CD-ROM (o DVD-ROM).
Creare spazio per Debian
Ovviamente Debian richiede spazio libero per essere installata questo può essere creato in molti modi ma il più semplice consiste nell'utilizzare "Disk Management", uno strumento di gestione delle partizioni incorporato in Windows 10.
Utilizzare la combinazione di tasti "Win+r" e digitare:
diskmgmt.msc
Si aprirà una finestra simile alla seguente in cui vengono elencate tutte le partizioni presenti sul disco (o sui dischi) di sistema.
Individuare la partizione contenente il filesystem NTFS (tipicamente contrassegnata con l'etichetta "C:"), fare clic su di essa con il tasto destro del mouse e scegliere "Riduci..." dal menù a comparsa che verrà visualizzato.
Verrà aperta un'altra finestra attraverso la quale ci verrà chiesto lo spazio da liberare sulla partizione scelta.
In questo caso è stato scelto il valore 200000 MB che corrisponde a circa 195 GB. Scegliere il valore che si ritiene più adatto alle proprie esigenze considerando che non è possibile andare oltre la soglia massima indicata.
Al termine dell'operazione verrà creato uno spazio non partizionato sul disco.
Ottenere Debian
Debian può essere ottenuta utilizzando le immagini .iso presenti sul sito ufficiale.
Consultare questa guida per maggiori informazioni su come ottenere Debian, quale immagine scaricare e come creare un supporto da cui avviare l'installazione.
Installazione
Dopo aver avviato la propria macchina dal supporto contenente Debian, verrà avviato l'installer Debian che si occuperà di tutte le fasi di installazione.
L'installazione (grafica o testuale) non richiede particolari raccomandazioni se non rispondere alle domande che verranno poste di volta in volta (nazione, lingua, tastiera, configurazione della rete - potrebbe essere necessario installare firmware aggiuntivo) e attendere che compaia questa schermata dove possiamo scegliere dove installare Debian; ci accorgiamo subito che l'installer ci propone, come prima opzione, di utilizzare lo spazio libero precedentemente creato:
Nella schermata successiva viene chiesto se debbano essere create altre partizioni diverse da quella di root "/".
La scelta è a discrezione dell'utente; se si sta installando Debian per la prima volta, è consigliato scegliere "Tutti i file in una partizione".
Infine confermare i cambiamenti:
Dopo questo passaggio, l'installazione prosegue normalmente chiedendo i pacchetti da installare, scaricando aggiornamenti di sicurezza (se presenti) e terminando con la schermata in cui viene chiesto di riavviare la macchina.
Scelta del SO all'avvio
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).
Ripristino
È possibile rimuovere completamente Debian dal dispositivo e ripristinare Windows 10 sia da Debian che da Windows.
La rimozione completa consiste di tre fasi.
- Rimozione di GRUB
- Rimozione delle voce relativa a Debian da UEFI
- Rimozione delle partizioni
Rimozione boot loader
GRUB può essere rimosso tramite la cancellazione della directory relativa a Debian che si trova nella partizione EFI.
Dopo aver completato questa operazione e riavviato la macchina, il sistema utilizzerà il boot manager di Windows che, a sua volta e a meno di altre configurazioni, avvierà automaticamente Windows 10.
Debian
Dopo il login in Debian, accertarsi che la partizione /dev/sda1
sia montata:
# mount /dev/sda1 mount: /boot/efi: /dev/sda1 already mounted on /boot/efi
il precedente output visualizza il mountpoint, in questo caso /boot/efi
.
Controllare che esista la directory /boot/efi/EFI/debian
;
# ls /boot/efi/EFI boot debian Microsoft
e infine cancellarla:
# cd /boot/efi/EFI # rm -rf debian
Windows
È necessario avviare come amministratore Windows PowerShell e dare i seguenti comandi
mountvol S: /S S: cd .\EFI\ dir rd /S debian
Rimozione voci da UEFI
Questo passo non è fondamentale e serve soltanto per non lasciare voci relative a Debian nell'UEFI (noto in precedenza come BIOS) della macchina.
La procedura varia da macchina a macchina e consiste nell'avviare UEFI al boot tramite i tasti specificati nel manuale del produttore e rimuovere la voce dalla sequenza di boot.
Notare che, anche se si lascia la voce relativa a Debian nella sequenza di boot, questa non verrà comunque considerata in quanto fa riferimento ad boot loader (GRUB) cancellato in precedenza.
Rimozione partizioni
Utilizzare la combinazione di tasti "Win+r" e digitare:
diskmgmt.msc
A questo punto rimuovere le partizioni create dall'installer debian (sono due, una del sistema e una per la swap). In seguito si può estendere la dimensione della partizione C:\ per riavere lo spazio su Windows.
TODO image
Guida scritta da: S3v | Debianized 20% |
Estesa da: | |
Verificata da: | |
Verificare ed estendere la guida | Cos'è una guida Debianized |