Merci Daniel et Felix pour vos réponses.
> Cette erreur apparaît aussi si le files system de la partition ne
> correspond pas à ce qui est définit dans /etc/fstab... Un grand
> classique :-)
A partir du live-CD LinuxMint, j'ai ouvert le fstab du système installé
sur le disque interne. Malheureusement, tout m'y semble en ordre, et je
ne vois pas bien quoi y modifier.
Les partitions sont identifiées par leur UUID, qui n'a pas changée au
cours des manips précédentes. Seul leur numéro d'ordre avait été
permuté, la partition Swap étant passée de 3 à 2 et la partition racine
étant passé de 2 à 3, après l'installation de Windows.
Une question au passage: ces "numéros" de partitions ne correspondent à
rien d'autre qu'à l'ordre dans lequel elles ont été inscrites dans le
MBR, n'est-ce pas ?
Pour essayer d'un voir plus clair, je colle ici le contenu du fstab
ainsi que la liste des partitions Linux vue par "blkid". On voit bien la
permutation sda2 <-> sda3 :
# /etc/fstab: static file system information.
#
# Use 'blkid' to print the universally unique identifier for a
# device; this may be used with UUID= as a more robust way to name devices
# that works even if disks are added and removed. See fstab(5).
#
# <file system> <mount point> <type> <options> <dump> <pass>
# / was on /dev/sda2 during installation
UUID=47559da7-01e2-439f-9762-584b03463cab / btrfs
defaults,subvol=@ 0 1
# /home was on /dev/sda2 during installation
UUID=47559da7-01e2-439f-9762-584b03463cab /home btrfs
defaults,subvol=@home 0 2
# swap was on /dev/sda3 during installation
UUID=04a9dd1b-99fc-4883-8b64-4ecc2a6be783 none swap sw
0 0
mint@mint:~$ blkid
/dev/sda1: LABEL="Windows 7" UUID="7EDFF4E441EDDB6C" TYPE="ntfs"
PARTUUID="9bd8b8ac-01"
/dev/sda3: LABEL="Linux Mint"
UUID="47559da7-01e2-439f-9762-584b03463cab"
UUID_SUB="02e4abe8-2ded-4fe9-b795-cded7937df6a" TYPE="btrfs"
PTTYPE="dos" PARTUUID="9bd8b8ac-03"
/dev/sr0: UUID="2018-12-17-16-31-52-00" LABEL="Linux Mint 19.1 Cinnamon
32-bit" TYPE="iso9660" PTUUID="61eddfc9" PTTYPE="dos"
/dev/loop0: TYPE="squashfs"
/dev/sda2: LABEL="Swap space"
UUID="04a9dd1b-99fc-4883-8b64-4ecc2a6be783" TYPE="swap"
PARTUUID="9bd8b8ac-02"
/dev/sdb1: LABEL="MININAVETTE" UUID="C646-8286" TYPE="vfat"
PARTUUID="e7a15e77-01"
mint@mint:~$
Est-ce que je rate un détail essentiel ?
Merci pour vos conseils, pour m'orienter dans la direction où chercher,
et surtout... arriver à faire redémarrer la bécane. Pour le moment,
Windows règne en maître sur cette config dualboot.
Frédéric.
--
Frédéric Dumas
[email protected]
Le 08/02/2019 à 01:18, Daniel Cordey a écrit :
On 08.02.19 00:53, Frederic Dumas wrote:
root@mint:/# update-grub
/usr/sbin/grub-probe: error: cannot find a device for / (is /dev
mounted?).
Cette erreur apparaît aussi si le files system de la partition ne
correspond pas à ce qui est définit dans /etc/fstab... Un grand
classique :-)
Dans ce cas, taper 'e' dans grub (si on n'a pas de prompt shell),
ajouter 'rw et init=/bin/bash' sur la ligne 'linux' et rebooter. Monter
/, éditer le fichier /mnt/etc/fstab, modifier le type du file system et
finalement rebooter.
Demain est un autre jour.
:-)
dc
_______________________________________________
gull mailing list
[email protected]
https://forum.linux-gull.ch/mailman/listinfo/gull
_______________________________________________
gull mailing list
[email protected]
https://forum.linux-gull.ch/mailman/listinfo/gull
