Mon idée c'est de déplacer /usr : réduire la partion /home de 50 Go -
creer une partition que j'affecterai plus tard à /usr -déplacer les
fichiers de /usr à la nouvelle partition - modifier /etc/fstab en fonction
de la nouvelle affectation de la nouvelle partition. Je me retrouverai
avec 18 Go de libre sur la partition /
Quelqu'un a une meilleure idée ?
--
Je ne crois que les histoires dont les témoins se feraient égorger.
-+- Blaise Pascal (1623-1662), Pensées - IX.593 -+-
--
La nature veut qu'on jouisse de la vie le plus possible et qu'on meure
sans y penser. Le christianisme a retourné cela.
-+- Charles Sainte Beuve -+-
Le Sun, 01 Apr 2018 19:56:37 +0200, Pascal Hambourg a écrit :
Le 01/04/2018 à 18:00, Jo Engo a écrit :
Le Sun, 01 Apr 2018 16:44:33 +0200, Pascal Hambourg a écrit :
Allez, une idée pour gagner du temps : réduire très fortement la partition /home à quasiment sa taille minimum avant de la déplacer. Autre avantage : il n'y aura pas de chevauchement. Ne pas la déplacer au maximum mais seulement de l'espace à libérer pour la racine, laisser de l'espace libre après pour l'agrandir à nouveau à sa taille souhaitée.
Pourquoi ne pas simplement copier les fichiers avec rsync par exemple ?
Si tu veux, mais là aussi il faut d'abord réduire drastiquement la partition /home actuelle pour pouvoir créer la nouvelle /partition home. En fait dans les deux cas j'aime bien cette idée car contrairement à la simple réduction de /home + déplacement de /var ou /usr : - elle évite de repousser /var ou /usr à la fin du disque, loin de tout et plus lente ; - elle permet de choisir la quantité d'espace disque à allouer à la partition racine.
Bon je récapitule : 1/ je réduis au maximum /home 2/ Je crée le nouveau /home «au fond» en déduisant la place pour / 3/ Je clone /home avec rsync (parce que je sais faire)(je vérifie / change l'uuid (*)) 4/ je supprime l'ancien /home 5/ je déplace <swap>(je vérifie / change l'uuid) 5 bis/ je déplace /var (je vérifie / change l'uuid) 6/ je supprime /opt dont je n'ai pas l'usage finalement 7/ J'agrandis / avec toute la place libérée (je mets à jour fstab si nécessaire ) (*) si quelqu'un peut me donner le mid où la manip est expliquée o:) --
Blad 503 Cw + 80 + A12 = bonheur !!!
Slurp... Amuse-toi bien. Le bonheur est dans le carré. -+- Vincent, sur fr.rec.photo -+-
Le Sun, 01 Apr 2018 19:56:37 +0200, Pascal Hambourg a écrit :
Le 01/04/2018 à 18:00, Jo Engo a écrit :
Le Sun, 01 Apr 2018 16:44:33 +0200, Pascal Hambourg a écrit :
Allez, une idée pour gagner du temps : réduire très fortement la
partition /home à quasiment sa taille minimum avant de la déplacer.
Autre avantage : il n'y aura pas de chevauchement. Ne pas la déplacer
au maximum mais seulement de l'espace à libérer pour la racine,
laisser de l'espace libre après pour l'agrandir à nouveau à sa taille
souhaitée.
Pourquoi ne pas simplement copier les fichiers avec rsync par exemple
?
Si tu veux, mais là aussi il faut d'abord réduire drastiquement la
partition /home actuelle pour pouvoir créer la nouvelle /partition home.
En fait dans les deux cas j'aime bien cette idée car contrairement à la
simple réduction de /home + déplacement de /var ou /usr :
- elle évite de repousser /var ou /usr à la fin du disque, loin de tout
et plus lente ;
- elle permet de choisir la quantité d'espace disque à allouer à la
partition racine.
Bon je récapitule :
1/ je réduis au maximum /home
2/ Je crée le nouveau /home «au fond» en déduisant la place pour /
3/ Je clone /home avec rsync (parce que je sais faire)(je vérifie /
change l'uuid (*))
4/ je supprime l'ancien /home
5/ je déplace <swap>(je vérifie / change l'uuid)
5 bis/ je déplace /var (je vérifie / change l'uuid)
6/ je supprime /opt dont je n'ai pas l'usage finalement
7/ J'agrandis / avec toute la place libérée
(je mets à jour fstab si nécessaire )
(*) si quelqu'un peut me donner le mid où la manip est expliquée o:)
--
Blad 503 Cw + 80 + A12 = bonheur !!!
Slurp... Amuse-toi bien. Le bonheur est dans le carré.
-+- Vincent, sur fr.rec.photo -+-
Le Sun, 01 Apr 2018 19:56:37 +0200, Pascal Hambourg a écrit :
Le 01/04/2018 à 18:00, Jo Engo a écrit :
Le Sun, 01 Apr 2018 16:44:33 +0200, Pascal Hambourg a écrit :
Allez, une idée pour gagner du temps : réduire très fortement la partition /home à quasiment sa taille minimum avant de la déplacer. Autre avantage : il n'y aura pas de chevauchement. Ne pas la déplacer au maximum mais seulement de l'espace à libérer pour la racine, laisser de l'espace libre après pour l'agrandir à nouveau à sa taille souhaitée.
Pourquoi ne pas simplement copier les fichiers avec rsync par exemple ?
Si tu veux, mais là aussi il faut d'abord réduire drastiquement la partition /home actuelle pour pouvoir créer la nouvelle /partition home. En fait dans les deux cas j'aime bien cette idée car contrairement à la simple réduction de /home + déplacement de /var ou /usr : - elle évite de repousser /var ou /usr à la fin du disque, loin de tout et plus lente ; - elle permet de choisir la quantité d'espace disque à allouer à la partition racine.
Bon je récapitule : 1/ je réduis au maximum /home 2/ Je crée le nouveau /home «au fond» en déduisant la place pour / 3/ Je clone /home avec rsync (parce que je sais faire)(je vérifie / change l'uuid (*)) 4/ je supprime l'ancien /home 5/ je déplace <swap>(je vérifie / change l'uuid) 5 bis/ je déplace /var (je vérifie / change l'uuid) 6/ je supprime /opt dont je n'ai pas l'usage finalement 7/ J'agrandis / avec toute la place libérée (je mets à jour fstab si nécessaire ) (*) si quelqu'un peut me donner le mid où la manip est expliquée o:) --
Blad 503 Cw + 80 + A12 = bonheur !!!
Slurp... Amuse-toi bien. Le bonheur est dans le carré. -+- Vincent, sur fr.rec.photo -+-
Pascal Hambourg
Le 02/04/2018 à 11:02, Jo Engo a écrit :
1/ je réduis au maximum /home
Pas besoin de réduire au maximum puisque tu vas copier le contenu utile avec rsync. En effet plus on réduit plus il faut déplacer vers le début de la partition tous les morceaux éparpillés au-delà de la nouvelle taille, ce qui prend du temps (la copie de petits bouts dispersés d'une partie à une autre d'un disque dur est l'opération la moins performante car le temps d'accès intervient massivement). Il suffit de réduire pour libérer de quoi créer la nouvelle partition /home.
2/ Je crée le nouveau /home «au fond» en déduisant la place pour / 3/ Je clone /home avec rsync (parce que je sais faire)(je vérifie / change l'uuid (*)) 4/ je supprime l'ancien /home 5/ je déplace <swap>(je vérifie / change l'uuid) 5 bis/ je déplace /var (je vérifie / change l'uuid) 6/ je supprime /opt dont je n'ai pas l'usage finalement 7/ J'agrandis / avec toute la place libérée (je mets à jour fstab si nécessaire ) (*) si quelqu'un peut me donner le mid où la manip est expliquée o:)
général : blkid <device> ext4 : tune2fs { -l | -U <uuid> } <device> swap : swaplabel [ -U <uuid> ] <device> Le déplacement ou le clonage d'une partition avec gparted ne modifie pas son UUID.
Le 02/04/2018 à 11:02, Jo Engo a écrit :
1/ je réduis au maximum /home
Pas besoin de réduire au maximum puisque tu vas copier le contenu utile
avec rsync. En effet plus on réduit plus il faut déplacer vers le début
de la partition tous les morceaux éparpillés au-delà de la nouvelle
taille, ce qui prend du temps (la copie de petits bouts dispersés d'une
partie à une autre d'un disque dur est l'opération la moins performante
car le temps d'accès intervient massivement). Il suffit de réduire pour
libérer de quoi créer la nouvelle partition /home.
2/ Je crée le nouveau /home «au fond» en déduisant la place pour /
3/ Je clone /home avec rsync (parce que je sais faire)(je vérifie /
change l'uuid (*))
4/ je supprime l'ancien /home
5/ je déplace <swap>(je vérifie / change l'uuid)
5 bis/ je déplace /var (je vérifie / change l'uuid)
6/ je supprime /opt dont je n'ai pas l'usage finalement
7/ J'agrandis / avec toute la place libérée
(je mets à jour fstab si nécessaire )
(*) si quelqu'un peut me donner le mid où la manip est expliquée o:)
Pas besoin de réduire au maximum puisque tu vas copier le contenu utile avec rsync. En effet plus on réduit plus il faut déplacer vers le début de la partition tous les morceaux éparpillés au-delà de la nouvelle taille, ce qui prend du temps (la copie de petits bouts dispersés d'une partie à une autre d'un disque dur est l'opération la moins performante car le temps d'accès intervient massivement). Il suffit de réduire pour libérer de quoi créer la nouvelle partition /home.
2/ Je crée le nouveau /home «au fond» en déduisant la place pour / 3/ Je clone /home avec rsync (parce que je sais faire)(je vérifie / change l'uuid (*)) 4/ je supprime l'ancien /home 5/ je déplace <swap>(je vérifie / change l'uuid) 5 bis/ je déplace /var (je vérifie / change l'uuid) 6/ je supprime /opt dont je n'ai pas l'usage finalement 7/ J'agrandis / avec toute la place libérée (je mets à jour fstab si nécessaire ) (*) si quelqu'un peut me donner le mid où la manip est expliquée o:)
général : blkid <device> ext4 : tune2fs { -l | -U <uuid> } <device> swap : swaplabel [ -U <uuid> ] <device> Le déplacement ou le clonage d'une partition avec gparted ne modifie pas son UUID.
Jacques L'helgoualc'h
Le 02-04-2018, Jo Engo a écrit : [...]
Bon je récapitule : 1/ je réduis au maximum /home 2/ Je crée le nouveau /home «au fond» en déduisant la place pour / 3/ Je clone /home avec rsync (parce que je sais faire)(je vérifie / change l'uuid (*)) 4/ je supprime l'ancien /home 5/ je déplace <swap>(je vérifie / change l'uuid) 5 bis/ je déplace /var (je vérifie / change l'uuid) 6/ je supprime /opt dont je n'ai pas l'usage finalement 7/ J'agrandis / avec toute la place libérée (je mets à jour fstab si nécessaire )
Variante : comme tu n'est pas à l'abri d'une (ou plusieurs) fausse man½uvre, je te conseille de toutes façons une sauvegarde /externe/ complète de ton système (en plusieurs exemplaires de préférence) - sur une autre machine (reliée en gigabit/s de préférence) ; - sur un disque externe (relié en USB3 de préférence). Tu peux aussi sauvegarder la liste des paquets installés dpkg --get-selections > dpkg_get-sel_date # sur une distrib à la debian et leur configuration tar cvzf etc.date.tgz /etc ... et sauvegarder tes données personnelles plutôt trois fois qu'une. Vérifie soigneusement ta sauvegarde, et met à jour au moins celle de /var depuis la clef boutable. Tu seras alors plus libre pour restructurer ton disque d'un seul coup.
(*) si quelqu'un peut me donner le mid où la manip est expliquée o:)
Formatter une nouvelle partition : man mke2fs /uuid n --> mkfs.ext4 -U UUID ... /dev/sdX42 Modifier l'UUID existant : man tune2fs /uuid n n ... --> tune2fs -U UUID ... /dev/sdX42 -- JL
Le 02-04-2018, Jo Engo a écrit :
[...]
Bon je récapitule :
1/ je réduis au maximum /home
2/ Je crée le nouveau /home «au fond» en déduisant la place pour /
3/ Je clone /home avec rsync (parce que je sais faire)(je vérifie /
change l'uuid (*))
4/ je supprime l'ancien /home
5/ je déplace <swap>(je vérifie / change l'uuid)
5 bis/ je déplace /var (je vérifie / change l'uuid)
6/ je supprime /opt dont je n'ai pas l'usage finalement
7/ J'agrandis / avec toute la place libérée
(je mets à jour fstab si nécessaire )
Variante : comme tu n'est pas à l'abri d'une (ou plusieurs) fausse
man½uvre, je te conseille de toutes façons une sauvegarde /externe/
complète de ton système (en plusieurs exemplaires de préférence)
- sur une autre machine (reliée en gigabit/s de préférence) ;
- sur un disque externe (relié en USB3 de préférence).
Tu peux aussi sauvegarder la liste des paquets installés
dpkg --get-selections > dpkg_get-sel_date # sur une distrib à la debian
et leur configuration
tar cvzf etc.date.tgz /etc
... et sauvegarder tes données personnelles plutôt trois fois qu'une.
Vérifie soigneusement ta sauvegarde, et met à jour au moins celle de /var
depuis la clef boutable. Tu seras alors plus libre pour restructurer
ton disque d'un seul coup.
(*) si quelqu'un peut me donner le mid où la manip est expliquée o:)
Formatter une nouvelle partition :
man mke2fs
/uuid
n
--> mkfs.ext4 -U UUID ... /dev/sdX42
Modifier l'UUID existant :
man tune2fs
/uuid
n
n
...
--> tune2fs -U UUID ... /dev/sdX42
Bon je récapitule : 1/ je réduis au maximum /home 2/ Je crée le nouveau /home «au fond» en déduisant la place pour / 3/ Je clone /home avec rsync (parce que je sais faire)(je vérifie / change l'uuid (*)) 4/ je supprime l'ancien /home 5/ je déplace <swap>(je vérifie / change l'uuid) 5 bis/ je déplace /var (je vérifie / change l'uuid) 6/ je supprime /opt dont je n'ai pas l'usage finalement 7/ J'agrandis / avec toute la place libérée (je mets à jour fstab si nécessaire )
Variante : comme tu n'est pas à l'abri d'une (ou plusieurs) fausse man½uvre, je te conseille de toutes façons une sauvegarde /externe/ complète de ton système (en plusieurs exemplaires de préférence) - sur une autre machine (reliée en gigabit/s de préférence) ; - sur un disque externe (relié en USB3 de préférence). Tu peux aussi sauvegarder la liste des paquets installés dpkg --get-selections > dpkg_get-sel_date # sur une distrib à la debian et leur configuration tar cvzf etc.date.tgz /etc ... et sauvegarder tes données personnelles plutôt trois fois qu'une. Vérifie soigneusement ta sauvegarde, et met à jour au moins celle de /var depuis la clef boutable. Tu seras alors plus libre pour restructurer ton disque d'un seul coup.
(*) si quelqu'un peut me donner le mid où la manip est expliquée o:)
Formatter une nouvelle partition : man mke2fs /uuid n --> mkfs.ext4 -U UUID ... /dev/sdX42 Modifier l'UUID existant : man tune2fs /uuid n n ... --> tune2fs -U UUID ... /dev/sdX42 -- JL
Jo Engo
Le Mon, 02 Apr 2018 11:29:27 +0200, Pascal Hambourg a écrit :
Le déplacement ou le clonage d'une partition avec gparted ne modifie pas son UUID.
Je ne comprend pas : en cas de clonage on se trouve alors avec 2 partitions avec le même UUID ?
Le Mon, 02 Apr 2018 11:29:27 +0200, Pascal Hambourg a écrit :
Le déplacement ou le clonage d'une partition avec gparted ne modifie pas
son UUID.
Je ne comprend pas : en cas de clonage on se trouve alors avec 2
partitions avec le même UUID ?
Le Mon, 02 Apr 2018 11:29:27 +0200, Pascal Hambourg a écrit :
Le déplacement ou le clonage d'une partition avec gparted ne modifie pas son UUID.
Je ne comprend pas : en cas de clonage on se trouve alors avec 2 partitions avec le même UUID ?
Oui, c'est pour ça qu'on l'appelle clonage. Il te faut modifier l'UUID ensuite, si les deux partitions doivent être conservées.
Pascal Hambourg
Le 02/04/2018 à 15:50, Jo Engo a écrit :
Le Mon, 02 Apr 2018 11:29:27 +0200, Pascal Hambourg a écrit :
Le déplacement ou le clonage d'une partition avec gparted ne modifie pas son UUID.
Je ne comprend pas : en cas de clonage on se trouve alors avec 2 partitions avec le même UUID ?
Oui, car l'UUID, comme l'étiquette (LABEL), fait partie du contenu de la partition. Cette situation doit bien sûr n'être que temporaire puisqu'un UUID est censé être unique par définition. Si la partition originale est destinée à être supprimée, pas de souci. Si les partitions originale et clone sont sur des disques différents qui ne sont pas destinés à rester dans la même machine, pas de souci. (Note : avec GPT, les partitions ont en plus un UUID et une étiquette de partition (PARTUUID et PARTLABEL pour blkid) qui font partie de la table de partition et non du contenu des partitions et ne sont donc pas dupliqués par le clonage.)
Le 02/04/2018 à 15:50, Jo Engo a écrit :
Le Mon, 02 Apr 2018 11:29:27 +0200, Pascal Hambourg a écrit :
Le déplacement ou le clonage d'une partition avec gparted ne modifie pas
son UUID.
Je ne comprend pas : en cas de clonage on se trouve alors avec 2
partitions avec le même UUID ?
Oui, car l'UUID, comme l'étiquette (LABEL), fait partie du contenu de la
partition.
Cette situation doit bien sûr n'être que temporaire puisqu'un UUID est
censé être unique par définition. Si la partition originale est destinée
à être supprimée, pas de souci. Si les partitions originale et clone
sont sur des disques différents qui ne sont pas destinés à rester dans
la même machine, pas de souci.
(Note : avec GPT, les partitions ont en plus un UUID et une étiquette de
partition (PARTUUID et PARTLABEL pour blkid) qui font partie de la table
de partition et non du contenu des partitions et ne sont donc pas
dupliqués par le clonage.)
Le Mon, 02 Apr 2018 11:29:27 +0200, Pascal Hambourg a écrit :
Le déplacement ou le clonage d'une partition avec gparted ne modifie pas son UUID.
Je ne comprend pas : en cas de clonage on se trouve alors avec 2 partitions avec le même UUID ?
Oui, car l'UUID, comme l'étiquette (LABEL), fait partie du contenu de la partition. Cette situation doit bien sûr n'être que temporaire puisqu'un UUID est censé être unique par définition. Si la partition originale est destinée à être supprimée, pas de souci. Si les partitions originale et clone sont sur des disques différents qui ne sont pas destinés à rester dans la même machine, pas de souci. (Note : avec GPT, les partitions ont en plus un UUID et une étiquette de partition (PARTUUID et PARTLABEL pour blkid) qui font partie de la table de partition et non du contenu des partitions et ne sont donc pas dupliqués par le clonage.)
Jo Engo
Le Mon, 02 Apr 2018 09:49:35 +0000, Jacques L'helgoualc'h a écrit :
dpkg --get-selections > dpkg_get-sel_date
dpkg --get-selections > dpkg_get-sel_$(date -I) :) et le reste à l'avenant. -- 23:56 :q fille q effqce pqr erreur le fichier /bin/loqdkeys< Je n4qi rien trouve dqns lq poubelle< Aui pourrqit ;e ;qiler son loqdkeysM
Le Mon, 02 Apr 2018 09:49:35 +0000, Jacques L'helgoualc'h a écrit :
dpkg --get-selections > dpkg_get-sel_date
dpkg --get-selections > dpkg_get-sel_$(date -I) :) et le reste à
l'avenant.
--
23:56 :q fille q effqce pqr erreur le fichier /bin/loqdkeys< Je n4qi
rien trouve dqns lq poubelle< Aui pourrqit ;e ;qiler son
loqdkeysM
Le Mon, 02 Apr 2018 09:49:35 +0000, Jacques L'helgoualc'h a écrit :
dpkg --get-selections > dpkg_get-sel_date
dpkg --get-selections > dpkg_get-sel_$(date -I) :) et le reste à l'avenant. -- 23:56 :q fille q effqce pqr erreur le fichier /bin/loqdkeys< Je n4qi rien trouve dqns lq poubelle< Aui pourrqit ;e ;qiler son loqdkeysM
Jo Engo
Le Mon, 02 Apr 2018 09:49:35 +0000, Jacques L'helgoualc'h a écrit :
- sur une autre machine (reliée en gigabit/s de préférence) ; - sur un disque externe (relié en USB3 de préférence).
Je rappelle que je n'ai que je n'ai que 15Go à sauvegarder (/home) et c'est tant mieux parce que je n'ai pas tout ça (je n'ai qu'une liaison wifi en fait) -- Il ne suffit pas de dire : je me suis trompe ; il faut dire comment on s'est trompe. -+- Claude Bernard (1813-1878) -+-
Le Mon, 02 Apr 2018 09:49:35 +0000, Jacques L'helgoualc'h a écrit :
- sur une autre machine (reliée en gigabit/s de préférence) ;
- sur un disque externe (relié en USB3 de préférence).
Je rappelle que je n'ai que je n'ai que 15Go à sauvegarder (/home) et
c'est tant mieux parce que je n'ai pas tout ça (je n'ai qu'une liaison
wifi en fait)
--
Il ne suffit pas de dire : je me suis trompe ;
il faut dire comment on s'est trompe.
-+- Claude Bernard (1813-1878) -+-
Le Mon, 02 Apr 2018 09:49:35 +0000, Jacques L'helgoualc'h a écrit :
- sur une autre machine (reliée en gigabit/s de préférence) ; - sur un disque externe (relié en USB3 de préférence).
Je rappelle que je n'ai que je n'ai que 15Go à sauvegarder (/home) et c'est tant mieux parce que je n'ai pas tout ça (je n'ai qu'une liaison wifi en fait) -- Il ne suffit pas de dire : je me suis trompe ; il faut dire comment on s'est trompe. -+- Claude Bernard (1813-1878) -+-
Jacques L'helgoualc'h
Le 03-04-2018, Jo Engo a écrit :
Le Mon, 02 Apr 2018 09:49:35 +0000, Jacques L'helgoualc'h a écrit :
- sur une autre machine (reliée en gigabit/s de préférence) ; - sur un disque externe (relié en USB3 de préférence).
Je rappelle que je n'ai que je n'ai que 15Go à sauvegarder (/home) et c'est tant mieux parce que je n'ai pas tout ça (je n'ai qu'une liaison wifi en fait)
Dans ce cas, tu peux copier /home sur une clef USB :)
Le 03-04-2018, Jo Engo a écrit :
Le Mon, 02 Apr 2018 09:49:35 +0000, Jacques L'helgoualc'h a écrit :
- sur une autre machine (reliée en gigabit/s de préférence) ;
- sur un disque externe (relié en USB3 de préférence).
Je rappelle que je n'ai que je n'ai que 15Go à sauvegarder (/home) et
c'est tant mieux parce que je n'ai pas tout ça (je n'ai qu'une liaison
wifi en fait)
Dans ce cas, tu peux copier /home sur une clef USB :)
Le Mon, 02 Apr 2018 09:49:35 +0000, Jacques L'helgoualc'h a écrit :
- sur une autre machine (reliée en gigabit/s de préférence) ; - sur un disque externe (relié en USB3 de préférence).
Je rappelle que je n'ai que je n'ai que 15Go à sauvegarder (/home) et c'est tant mieux parce que je n'ai pas tout ça (je n'ai qu'une liaison wifi en fait)
Dans ce cas, tu peux copier /home sur une clef USB :)
Jo Engo
Le Mon, 02 Apr 2018 07:49:12 +0200, Philippe Weill a écrit :
sysrescuecd est parfait pour cela http://www.system-rescue-cd.org/
Oui bon, j'ai eu du mal à l'installer sur un stick, leur 'dialog' plantant, puis j'ai installé le pakage qui allait bien pour isohybrid. Je l'ai testé et quand j'ai voulu rebouter, il est resté «coincé» les magick key ne fonctionnant pas. C'est lui qui avait la main, me semble-t-il, pas le bios (mais si c'est le bios, ben mon bios est moisi). J'ai pris un peu de retard sur mon planning :)
Le Mon, 02 Apr 2018 07:49:12 +0200, Philippe Weill a écrit :
sysrescuecd est parfait pour cela
http://www.system-rescue-cd.org/
Oui bon, j'ai eu du mal à l'installer sur un stick, leur 'dialog'
plantant, puis j'ai installé le pakage qui allait bien pour isohybrid. Je
l'ai testé et quand j'ai voulu rebouter, il est resté «coincé» les magick
key ne fonctionnant pas. C'est lui qui avait la main, me semble-t-il, pas
le bios (mais si c'est le bios, ben mon bios est moisi). J'ai pris un peu
de retard sur mon planning :)
Le Mon, 02 Apr 2018 07:49:12 +0200, Philippe Weill a écrit :
sysrescuecd est parfait pour cela http://www.system-rescue-cd.org/
Oui bon, j'ai eu du mal à l'installer sur un stick, leur 'dialog' plantant, puis j'ai installé le pakage qui allait bien pour isohybrid. Je l'ai testé et quand j'ai voulu rebouter, il est resté «coincé» les magick key ne fonctionnant pas. C'est lui qui avait la main, me semble-t-il, pas le bios (mais si c'est le bios, ben mon bios est moisi). J'ai pris un peu de retard sur mon planning :)
