Re: Installation debian en remplacement Windows 10

[Bernard Schoenacker]

- Mail original -
> De: "mess-mate" <mess-m...@gmx.com>
> À: "debian-french" <debian-user-french@lists.debian.org>
> Envoyé: Jeudi 19 Avril 2018 17:24:12
> Objet: Re: Installation debian en remplacement Windows 10
> 
> On 19-Apr-18 15:20, David wrote:
> > Le 19.04.2018 15:00, mess-mate a écrit :
> >> On 18-Apr-18 13:36, hamster wrote:
> >>> Le 18/04/2018 à 07:49, David a écrit :
> >>>> [je vais quand même graver un cd, je suis un maudit de la clé
> >>>> usb
> >>>> bootable]
> >>> https://debian-facile.org/doc:install:usb-boot
> >>> Les méthodes en ligne de commande avec dd ou avec cp marchent
> >>> très
> >>> bien.
> >>> Evite les logiciels qui font ca a ta place, genre unetbootin.
> >>>
> >> Q tout hasard: as-tu lors de l'installation formatté en GPT ?
> >>
> >> Personnellement j'ai pas eu de problème lors de mon installation
> >> avec
> >> formattage en GPT et en utilisant UEFI, pour autant que ton
> >> ordinateur
> >> (bios) te donne ce dernier choix.
> >
> > J'ai repris une install à moitié commencée qui planté au milieu à
> > cause d'un mauvais wifi
> > J'ai donc refait une install sans toucher à la partition UEFI qui
> > était présente.
> >
> > N'ayant jamais possédé moi même d'ordinateur avec UEFI, j'ignore
> > tout
> > de son fonctionnement (un peu moins maintenant)
> >
> > Réponse : je n'ai rien fait de spécial en GPT (je ne connais pas,
> > je
> > vais voir si je trouve des infos)
> >
> > Que faudrait-il formater en GPT ? une partition en particulier ?
> > rappel : pour l'instant j'ai
> > 272 Mo Efi system
> > 10 Go Swap
> > 100 Go pour le système ( / )
> > 890 Go pour le /home
> >
> >
> > Et sans rapport avec ce qui précède :
> > J'ai vu aussi que certains avaient installé debian sans UEFI,
> > Dans ce cas, si je supprime la partition EFI, ça pourrait marcher
> > "à
> > l'ancienne" ?
> >
> Si tu n'as pas fait des partitions manuellement, c'est que ton
> ordinateur a prévu une partition UEFI (formattée en fat32 , à
> vérifier
> avec "gpart" que tu peux même installer avec RUFUS (si tu est en
> windows).
> Avec gpart vérifier ce qui se passe avec tes partitions.
> Si tout est ok, partitions formattées en ext4 (sauf la UEFI),
> Partitions crées en GPT.
> 
> Mais tu peux aussi essayer avec "rFIND", une application à
> télécharger
> et installer en "iso" sur une clé usb.
> Avec ce dernier voir si tu peux lancer ta debian.
> 
bonjour,

serait il possible d'obtenir le lien pour rfind ?

merci

slt
bernard

Re: Installation debian en remplacement Windows 10

[mess-mate]

On 19-Apr-18 15:20, David wrote:

Le 19.04.2018 15:00, mess-mate a écrit :

On 18-Apr-18 13:36, hamster wrote:

Le 18/04/2018 à 07:49, David a écrit :

[je vais quand même graver un cd, je suis un maudit de la clé usb
bootable]

https://debian-facile.org/doc:install:usb-boot
Les méthodes en ligne de commande avec dd ou avec cp marchent très 
bien.

Evite les logiciels qui font ca a ta place, genre unetbootin.


Q tout hasard: as-tu lors de l'installation formatté en GPT ?

Personnellement j'ai pas eu de problème lors de mon installation avec
formattage en GPT et en utilisant UEFI, pour autant que ton ordinateur
(bios) te donne ce dernier choix.


J'ai repris une install à moitié commencée qui planté au milieu à 
cause d'un mauvais wifi
J'ai donc refait une install sans toucher à la partition UEFI qui 
était présente.


N'ayant jamais possédé moi même d'ordinateur avec UEFI, j'ignore tout 
de son fonctionnement (un peu moins maintenant)


Réponse : je n'ai rien fait de spécial en GPT (je ne connais pas, je 
vais voir si je trouve des infos)


Que faudrait-il formater en GPT ? une partition en particulier ?
rappel : pour l'instant j'ai
272 Mo Efi system
10 Go Swap
100 Go pour le système ( / )
890 Go pour le /home


Et sans rapport avec ce qui précède :
J'ai vu aussi que certains avaient installé debian sans UEFI,
Dans ce cas, si je supprime la partition EFI, ça pourrait marcher "à 
l'ancienne" ?


Si tu n'as pas fait des partitions manuellement, c'est que ton 
ordinateur a prévu une partition UEFI (formattée en fat32 , à vérifier 
avec "gpart" que tu peux même installer avec RUFUS (si tu est en windows).

Avec gpart vérifier ce qui se passe avec tes partitions.
Si tout est ok, partitions formattées en ext4 (sauf la UEFI),
Partitions crées en GPT.

Mais tu peux aussi essayer avec "rFIND", une application à télécharger 
et installer en "iso" sur une clé usb.

Avec ce dernier voir si tu peux lancer ta debian.

Re: Installation debian en remplacement Windows 10

[David]

Le 19.04.2018 15:00, mess-mate a écrit :

On 18-Apr-18 13:36, hamster wrote:

Le 18/04/2018 à 07:49, David a écrit :

[je vais quand même graver un cd, je suis un maudit de la clé usb
bootable]

https://debian-facile.org/doc:install:usb-boot
Les méthodes en ligne de commande avec dd ou avec cp marchent très 
bien.

Evite les logiciels qui font ca a ta place, genre unetbootin.


Q tout hasard: as-tu lors de l'installation formatté en GPT ?

Personnellement j'ai pas eu de problème lors de mon installation avec
formattage en GPT et en utilisant UEFI, pour autant que ton ordinateur
(bios) te donne ce dernier choix.


J'ai repris une install à moitié commencée qui planté au milieu à cause 
d'un mauvais wifi
J'ai donc refait une install sans toucher à la partition UEFI qui était 
présente.


N'ayant jamais possédé moi même d'ordinateur avec UEFI, j'ignore tout de 
son fonctionnement (un peu moins maintenant)


Réponse : je n'ai rien fait de spécial en GPT (je ne connais pas, je 
vais voir si je trouve des infos)


Que faudrait-il formater en GPT ? une partition en particulier ?
rappel : pour l'instant j'ai
272 Mo Efi system
10 Go Swap
100 Go pour le système ( / )
890 Go pour le /home


Et sans rapport avec ce qui précède :
J'ai vu aussi que certains avaient installé debian sans UEFI,
Dans ce cas, si je supprime la partition EFI, ça pourrait marcher "à 
l'ancienne" ?

Re: Installation debian en remplacement Windows 10

[FF \__/ FF]

hello,

   Pour installer debian sur un cherry bay trail uefi, j'ai du préparer la
clef usb sous windows avec le soft RUFUS prépare la clef usb avec l'iso
d'install debian en
GPT efi, je sais plus trop

  Mais cela marche direct

Cdt

Le 19 avril 2018 à 15:12, David  a écrit :

> Le 18.04.2018 13:36, hamster a écrit :
>
>> Le 18/04/2018 à 07:49, David a écrit :
>>
>>> [je vais quand même graver un cd, je suis un maudit de la clé usb
>>> bootable]
>>>
>>
>> https://debian-facile.org/doc:install:usb-boot
>> Les méthodes en ligne de commande avec dd ou avec cp marchent très bien.
>> Evite les logiciels qui font ca a ta place, genre unetbootin.
>>
>
> Curieusement Unetbootin a fonctionné quand je suis passé de windows à
> linux (il y a quelques années déjà), mais j'avais installé mon boot à
> partir de la version de unetbootin windows
> Avec unetbootin sous linux (ubuntu, lubuntu, debian-lxde) ça n'a jamais
> fonctionné
>
>
> Et encore plus curieusement avec dd et cp je n'y arrive pas non plus.
> (d'où mon expression de maudit du boot usb)
> Mais cette fois je pense que c'est de ma faute, peut être un mauvais
> réglage du boot dans le bios.
> Comme ça marche bien avec un cd, j'ai pris l'habitude de fonctionner comme
> ça (et un peu par flemme)...
>
> Dans ma liste de trucs à résoudre, c'est dans la colonne "pas pressé"
> comme pb à résoudre.
> (j'avais le lien en favoris)
> Là l'objectif c'est d'installer debian sur le pc de ma belle soeur
>
>

Re: Installation debian en remplacement Windows 10

[David]

Le 18.04.2018 13:36, hamster a écrit :

Le 18/04/2018 à 07:49, David a écrit :

[je vais quand même graver un cd, je suis un maudit de la clé usb
bootable]


https://debian-facile.org/doc:install:usb-boot
Les méthodes en ligne de commande avec dd ou avec cp marchent très 
bien.

Evite les logiciels qui font ca a ta place, genre unetbootin.


Curieusement Unetbootin a fonctionné quand je suis passé de windows à 
linux (il y a quelques années déjà), mais j'avais installé mon boot à 
partir de la version de unetbootin windows
Avec unetbootin sous linux (ubuntu, lubuntu, debian-lxde) ça n'a jamais 
fonctionné



Et encore plus curieusement avec dd et cp je n'y arrive pas non plus. 
(d'où mon expression de maudit du boot usb)
Mais cette fois je pense que c'est de ma faute, peut être un mauvais 
réglage du boot dans le bios.
Comme ça marche bien avec un cd, j'ai pris l'habitude de fonctionner 
comme ça (et un peu par flemme)...


Dans ma liste de trucs à résoudre, c'est dans la colonne "pas pressé" 
comme pb à résoudre.

(j'avais le lien en favoris)
Là l'objectif c'est d'installer debian sur le pc de ma belle soeur

Re: Installation debian en remplacement Windows 10

[mess-mate]

On 18-Apr-18 13:36, hamster wrote:

Le 18/04/2018 à 07:49, David a écrit :

[je vais quand même graver un cd, je suis un maudit de la clé usb
bootable]

https://debian-facile.org/doc:install:usb-boot
Les méthodes en ligne de commande avec dd ou avec cp marchent très bien.
Evite les logiciels qui font ca a ta place, genre unetbootin.


Q tout hasard: as-tu lors de l'installation formatté en GPT ?

Personnellement j'ai pas eu de problème lors de mon installation avec 
formattage en GPT et en utilisant UEFI, pour autant que ton ordinateur 
(bios) te donne ce dernier choix.

Re: Installation debian en remplacement Windows 10

[G2PC]

Le 18/04/2018 à 21:42, Daniel Caillibaud a écrit :
> Le 18/04/18 à 13:36, hamster  a écrit :
>
> H> Le 18/04/2018 à 07:49, David a écrit :
> H> > [je vais quand même graver un cd, je suis un maudit de la clé usb
> H> > bootable]  
> H> 
> H> https://debian-facile.org/doc:install:usb-boot
> H> Les méthodes en ligne de commande avec dd ou avec cp marchent très bien.
> H> Evite les logiciels qui font ca a ta place, genre unetbootin.
>
> Je confirme, `cp monImageNetinst /dev/sdX` marche très bien !
> (sdX est la clé usb, la brancher et regarder la fin de la sortie de dmesg
> ou /var/log/message pour savoir par quoi remplacer X)

J'en reste a du LILI sur Windows, pour préparer mes clés usb bootables.

Re: Installation debian en remplacement Windows 10

[Daniel Caillibaud]

Le 18/04/18 à 13:36, hamster  a écrit :

H> Le 18/04/2018 à 07:49, David a écrit :
H> > [je vais quand même graver un cd, je suis un maudit de la clé usb
H> > bootable]  
H> 
H> https://debian-facile.org/doc:install:usb-boot
H> Les méthodes en ligne de commande avec dd ou avec cp marchent très bien.
H> Evite les logiciels qui font ca a ta place, genre unetbootin.

Je confirme, `cp monImageNetinst /dev/sdX` marche très bien !
(sdX est la clé usb, la brancher et regarder la fin de la sortie de dmesg
ou /var/log/message pour savoir par quoi remplacer X)


-- 
Daniel

Si vous voulez bien manger en Angleterre,
prenez trois petits déjeuners.
Oscar Wilde.

Re: Installation debian en remplacement Windows 10

[hamster]

Le 18/04/2018 à 07:49, David a écrit :
> [je vais quand même graver un cd, je suis un maudit de la clé usb
> bootable]

https://debian-facile.org/doc:install:usb-boot
Les méthodes en ligne de commande avec dd ou avec cp marchent très bien.
Evite les logiciels qui font ca a ta place, genre unetbootin.

Re: Installation debian en remplacement Windows 10

[FF \__/ FF]

Salut,

   Oui le chiffrage pour dissimuler les photos de tata louise a la plage,
c'est un peu lourd  :)

   Pourquoi vous n'installer pas plutot BUSTER, ce truc est stable et pour
un particulier il y aura des softs et drivers plus a jour, sans parler du
kernel.

Cordialement

Le 18 avril 2018 à 11:45, G2PC  a écrit :

>
> >> Un peu hors sujet mais, perso, sur un portable, je conseille de
> >> chiffrer le disque dur.
> >> Et pour ne pas avoir de soucis de partitionement, je conseille le
> >> schéma /+/home/+/var+/tmp séparés + LVM.
> >> Si demain tu n'as pas assez de place, tu redimensionnes.
> >> Tranquilité et sécurité.
> >
> > Ok je retiens.
>
> Chiffrer un disque dur, pour un nouvel utilisateur Linux pas encore
> formé, c'est pas un peu dangereux pour ses données, en cas de plantage ?
> " Surtout, si l'OS n'est pas encore installé de façon stable et les
> pilotes testés ? "
>
>

Re: Installation debian en remplacement Windows 10

[G2PC]

>> Un peu hors sujet mais, perso, sur un portable, je conseille de
>> chiffrer le disque dur.
>> Et pour ne pas avoir de soucis de partitionement, je conseille le
>> schéma /+/home/+/var+/tmp séparés + LVM.
>> Si demain tu n'as pas assez de place, tu redimensionnes.
>> Tranquilité et sécurité.
>
> Ok je retiens.

Chiffrer un disque dur, pour un nouvel utilisateur Linux pas encore
formé, c'est pas un peu dangereux pour ses données, en cas de plantage ?
" Surtout, si l'OS n'est pas encore installé de façon stable et les
pilotes testés ? "

Re: Installation debian en remplacement Windows 10

[G2PC]

Le 18/04/2018 à 07:41, David a écrit :
> Le 18.04.2018 02:36, G2PC a écrit :
 L'idée qui me viendrait naturellement ça serait de refaire une install
 sans le "EFI system"
 mais j'ai un peu peur de faire une co***rie...
>>> Avant, il y avait un système de démarrage qui s'appelait BIOS.
>>> Maintenant il y en a un autre qui s'appelle UEFI. C'est pas en plus,
>>> c'est a la place. Certains UEFI ont une fonction qu'on peut activer
>>> pour
>>> simuler un fonctionnement comme si c'était un BIOS, mais je suis pas
>>> sur
>>> que tous le fassent.
>>>
>>> Je te conseille donc de rester sur le mode UEFI, et de chercher comment
>>> le faire marcher. D'habitude il faut trouver et désactiver l'option
>>> fast
>>> boot et l'option secure boot. Je sais pas si ca t'aidera.
>>
>> J'ai installé Debian sans UEFI et ça marche bien.
>> Éventuellement, tu télécharges à nouveau la version de Debian de ton
>> choix, une debian live peut être avec pilotes non free, et, tu refais
>> une installation propre et minimaliste.
>
>
> Merci pour l'info, je testerai une install sans UEFI si je ne m'en
> sors pas.

Avec la version 9.3 live, j'ai eu un soucis :
1- De clavier en qwerty
2- De langue
3- Au démarrage, le bureau xfce n'est pas sauvegardé, un soucis de
cache, qui se règle avec quelques bidouilles ( Supprimer le cache de
XFCE de mémoire, et, ne pas enregister le bureau avant d'éteindre la
machine. )

Comme il a été dit, ne pas se tromper, prendre 32 ou 64 en fonction de
ton système, mais, les nouvelles machines sont souvent en 64 si je ne me
trompe pas.

Re: Installation debian en remplacement Windows 10

[David]

Le 18.04.2018 07:20, Jean-Marc a écrit :

Tue, 17 Apr 2018 17:34:00 +0200
David Vente  écrivait :





Un peu hors sujet mais, perso, sur un portable, je conseille de
chiffrer le disque dur.
Et pour ne pas avoir de soucis de partitionement, je conseille le
schéma /+/home/+/var+/tmp séparés + LVM.
Si demain tu n'as pas assez de place, tu redimensionnes.
Tranquilité et sécurité.


Ok je retiens.




Pour commencer, assure-toi d'avoir la bonne version de Debian pour la
bonne architecture, style Debian Stretch AMD64.  Et préfère une
netinstall.  C'est plus petit comme image et tu auras toujours la
dernière version des paquets.
Si le PC n'a pas de connexion ethernet et que tu n'as que le Wifi,
vérifie aussi comment faire pour obtenir les pilotes nécessaires; ces
pilotes sont souvent non-libres.

Voir aussi https://www.debian.org/releases/stable/amd64/ch06s04.html.fr


Normalement j'ai la bonne version, il me semble que c'est une 
net-install (mais c'est mon beau-frère qui avait gravé le cd)

je vais la télécharger à nouveau pour être sûr
[je vais quand même graver un cd, je suis un maudit de la clé usb 
bootable]




Pour l'EFI, essaie de le garder. Sinon, la plupart du temps, il est
possible de passer en mode "Legacy" et d'émuler le BIOS.
Dernier conseil, si tu as un Linux Users Groups pas loin, c'est
généralement une source d'aide précieuse.
https://www.agendadulibre.org/orgas


Merci pour le lien, je ne connaissais pas.
J'habite un désert humain, il n'y a rien chez moi.
Mais je vois une assoc dans le coin de chez ma belle soeur, je vais lui 
conseiller





Jean-Marc 
https://6jf.be/keys/ED863AD1.txt

Re: Installation debian en remplacement Windows 10

[David]

Le 18.04.2018 02:36, G2PC a écrit :
L'idée qui me viendrait naturellement ça serait de refaire une 
install

sans le "EFI system"
mais j'ai un peu peur de faire une co***rie...

Avant, il y avait un système de démarrage qui s'appelait BIOS.
Maintenant il y en a un autre qui s'appelle UEFI. C'est pas en plus,
c'est a la place. Certains UEFI ont une fonction qu'on peut activer 
pour
simuler un fonctionnement comme si c'était un BIOS, mais je suis pas 
sur

que tous le fassent.

Je te conseille donc de rester sur le mode UEFI, et de chercher 
comment
le faire marcher. D'habitude il faut trouver et désactiver l'option 
fast

boot et l'option secure boot. Je sais pas si ca t'aidera.


J'ai installé Debian sans UEFI et ça marche bien.
Éventuellement, tu télécharges à nouveau la version de Debian de ton
choix, une debian live peut être avec pilotes non free, et, tu refais
une installation propre et minimaliste.



Merci pour l'info, je testerai une install sans UEFI si je ne m'en sors 
pas.

Re: Installation debian en remplacement Windows 10

[David]

Le 18.04.2018 00:11, hamster a écrit :


Ca me semble beaucoup. D'habitude je met la meme taille que la RAM pour
que ca puisse hiberner. C'est quelle taille la RAM ?


4Go de Ram
D'habitude je mets 2x la Ram en swap, mais là avec 1To de DD, j'ai pas 
voulu faire mon radin...



100 Go pour le système ( / )


Ca c'est de la place perdue. Je met 15 G et je les ai jamais remplis. 
Si

tu veux etre sur d'avoir de la marge, tu met 20 G, mais 100 ca en fait
80 perdus.


Idem, j'ai voulu être généreux



Avant, il y avait un système de démarrage qui s'appelait BIOS.
Maintenant il y en a un autre qui s'appelle UEFI. C'est pas en plus,
c'est a la place. Certains UEFI ont une fonction qu'on peut activer 
pour
simuler un fonctionnement comme si c'était un BIOS, mais je suis pas 
sur

que tous le fassent.


Ce qui est troublant, c'est que quand je vais dans les "Paramètres du 
microprogramme UEFI"

je tombe sur une fenêtre type terminal et là j'ai "F10 : Bios Setup"
Et là j'ai une interface semblable à celle du Bios traditionnel

Et en plus de ça, il y a une partition EFI sur le DD
C'est pour ça que j'ai cru que l'UEFI se rajoutait au bios et non pas 
remplaçait le bios.




Je te conseille donc de rester sur le mode UEFI, et de chercher comment
le faire marcher. D'habitude il faut trouver et désactiver l'option 
fast

boot et l'option secure boot. Je sais pas si ca t'aidera.


L'option secure boot est bien désactivée
Je n'ai pas vu d'option fast boot
Et dans l'OS boot manager, j'ai windows boot manager et debian, mais je 
ne peux choisir ni l'un ni l'autre


En tout cas, merci pour ta réponse
Et désolé pour le doublon, j'ai envoyé mon premier post vers 17h, mais 
le voyant toujours pas à 21h j'ai re-posté ^^' (j'ai un peu d'avance 
pour le troll-di)

Re: Installation debian en remplacement Windows 10

[Jean-Marc]

Tue, 17 Apr 2018 17:34:00 +0200
David Vente  écrivait :

> Il était une fois ...
> [...]
> J'ai donc récupéré l'ordinateur pour essayer de finir l'installation.
> J'ai découvert que maintenant il y a un truc nommé UEFI sur les 
> ordinateurs (je n'ai que des vieux coucous avec un bios traditionnel)

Effectivement, l'EFI remplace le BIOS.

> J'ai repris et fini l'installation, sur le disque d'1 To il y a 
> maintenant :
> 1 Mo libre
> 272 Mo Efi system
> 10 Go Swap
> 100 Go pour le système ( / )
> 890 Go pour le /home
> 720 ko libre

Un peu hors sujet mais, perso, sur un portable, je conseille de chiffrer le 
disque dur.
Et pour ne pas avoir de soucis de partitionement, je conseille le schéma 
/+/home/+/var+/tmp séparés + LVM.
Si demain tu n'as pas assez de place, tu redimensionnes.
Tranquilité et sécurité.

> À la fin de l'installation, il y a un reboot (après avoir enlevé le cd)
> [...]
> Et c'est tout, ça reste sur cet écran.
> C'est là que je ne sais plus quoi faire et que j'ai besoin d'aide :)

Pour commencer, assure-toi d'avoir la bonne version de Debian pour la bonne 
architecture, style Debian Stretch AMD64.  Et préfère une netinstall.  C'est 
plus petit comme image et tu auras toujours la dernière version des paquets.
Si le PC n'a pas de connexion ethernet et que tu n'as que le Wifi, vérifie 
aussi comment faire pour obtenir les pilotes nécessaires; ces pilotes sont 
souvent non-libres.

Voir aussi https://www.debian.org/releases/stable/amd64/ch06s04.html.fr

Pour l'EFI, essaie de le garder. Sinon, la plupart du temps, il est possible de 
passer en mode "Legacy" et d'émuler le BIOS.
Dernier conseil, si tu as un Linux Users Groups pas loin, c'est généralement 
une source d'aide précieuse.
https://www.agendadulibre.org/orgas

> 
> L'idée qui me viendrait naturellement ça serait de refaire une install 
> sans le "EFI system"
> mais j'ai un peu peur de faire une co***rie...
> 
> Est-ce que vous avez une idée pour me dépanner ?
> Ou simplement une page internet à me conseiller ?
> 
> D'avance merci pour les réponses,

Bonne chance et bon courage.

> David



Jean-Marc 
https://6jf.be/keys/ED863AD1.txt


pgpBX1aiuGCe_.pgp
Description: PGP signature

Re: Installation debian en remplacement Windows 10

[Jérôme]

Le mercredi 18 avril 2018 à 00:11 +0200, hamster a écrit :
> Ca c'est de la place perdue. Je met 15 G et je les ai jamais remplis.
> Si
> tu veux etre sur d'avoir de la marge, tu met 20 G, mais 100 ca en
> fait
> 80 perdus.

Ça dépend de ce qu'on installe, mais bon, avec 30Go on installe au
moins kde-full + gnome + LaTeX + lilypond (dont le gros -doc) +
Libreoffice... bref un certain nombre de poids lourds en terme d'espace
disque, et on a rarement besoin de tout ça simultanément.

Re: Installation debian en remplacement Windows 10

[G2PC]

>> L'idée qui me viendrait naturellement ça serait de refaire une install
>> sans le "EFI system"
>> mais j'ai un peu peur de faire une co***rie...
> Avant, il y avait un système de démarrage qui s'appelait BIOS.
> Maintenant il y en a un autre qui s'appelle UEFI. C'est pas en plus,
> c'est a la place. Certains UEFI ont une fonction qu'on peut activer pour
> simuler un fonctionnement comme si c'était un BIOS, mais je suis pas sur
> que tous le fassent.
>
> Je te conseille donc de rester sur le mode UEFI, et de chercher comment
> le faire marcher. D'habitude il faut trouver et désactiver l'option fast
> boot et l'option secure boot. Je sais pas si ca t'aidera.

J'ai installé Debian sans UEFI et ça marche bien.
Éventuellement, tu télécharges à nouveau la version de Debian de ton
choix, une debian live peut être avec pilotes non free, et, tu refais
une installation propre et minimaliste.

Re: Installation debian en remplacement Windows 10

[hamster]

Le 17/04/2018 à 17:34, David Vente a écrit :
> J'ai repris et fini l'installation, sur le disque d'1 To il y a
> maintenant :
> 1 Mo libre
> 272 Mo Efi system
> 10 Go Swap

Ca me semble beaucoup. D'habitude je met la meme taille que la RAM pour
que ca puisse hiberner. C'est quelle taille la RAM ?

> 100 Go pour le système ( / )

Ca c'est de la place perdue. Je met 15 G et je les ai jamais remplis. Si
tu veux etre sur d'avoir de la marge, tu met 20 G, mais 100 ca en fait
80 perdus.

> 890 Go pour le /home

C'est très bien d'avoir fait un /home séparé.

> L'idée qui me viendrait naturellement ça serait de refaire une install
> sans le "EFI system"
> mais j'ai un peu peur de faire une co***rie...

Avant, il y avait un système de démarrage qui s'appelait BIOS.
Maintenant il y en a un autre qui s'appelle UEFI. C'est pas en plus,
c'est a la place. Certains UEFI ont une fonction qu'on peut activer pour
simuler un fonctionnement comme si c'était un BIOS, mais je suis pas sur
que tous le fassent.

Je te conseille donc de rester sur le mode UEFI, et de chercher comment
le faire marcher. D'habitude il faut trouver et désactiver l'option fast
boot et l'option secure boot. Je sais pas si ca t'aidera.

Installation debian en remplacement Windows 10

[David Vente]

Il était une fois ...
1- Ma belle soeur qui reçoit à Noël un pc portable HP ak-002nf
2- Elle ne souhaitait pas utiliser le windows 10 installé par défaut, 
elle a décidé de franchir le pas et de "passer à linux"
3- Son frère a essayé d'installer une debian dessus (9.3) avec un cd 
d'installation téléchargé.
il m'a dit avoir été obligé de modifier certains paramètres du bios pour 
commencer l'installation.
4- Il n'a pas pu terminer l'installation (par wifi avec mauvaise 
réception)


J'ai donc récupéré l'ordinateur pour essayer de finir l'installation.
J'ai découvert que maintenant il y a un truc nommé UEFI sur les 
ordinateurs (je n'ai que des vieux coucous avec un bios traditionnel)


J'ai repris et fini l'installation, sur le disque d'1 To il y a 
maintenant :

1 Mo libre
272 Mo Efi system
10 Go Swap
100 Go pour le système ( / )
890 Go pour le /home
720 ko libre

À la fin de l'installation, il y a un reboot (après avoir enlevé le cd)

lors du redémmarage, j'arrive sur une page de menu à fond bleu
Récupération : votre ordinateur doit être réparé
code erreur : 0xc000225

Je peux accéder aux paramètres UEFI (touche esc)
Si je fais F9 : boot device option
Je peux choisir : os boot manager (uefi) - debian
j'arrive au grub

à partir de là, j'ai un écran avec :
0.024980 firmware bug : cpu0, invalid threshold interrupt offset 1 for 
bank 4, block 0 (MSR0413=0xd100)

System clean 124242/6111232 files, 1309310/24413952 blocks
6.789814 tpm_crb MSFT0101:00 can't request region for ressource [mem 
0xcfb79000-0xcfb7cfff]

6.864299 : sp5100_tco : I/O adress 0x0cd6 already in use
7.468771, 7.468831, 7.468877, 7.468918 : visiblement y'a un pb de 
bluetooth

7.906966 : acer_wmi : unsupported machine has AMW0_GUID1, unable to load
7.970416 : kvm : disabled by bios
8.024827 : kvm : disabled by bios

Et c'est tout, ça reste sur cet écran.
C'est là que je ne sais plus quoi faire et que j'ai besoin d'aide :)

L'idée qui me viendrait naturellement ça serait de refaire une install 
sans le "EFI system"

mais j'ai un peu peur de faire une co***rie...

Est-ce que vous avez une idée pour me dépanner ?
Ou simplement une page internet à me conseiller ?

D'avance merci pour les réponses,
David