Contenu | Rechercher | Menus

Annonce

L'équipe des administrateurs et modérateurs du forum vous invite à prendre connaissance des nouvelles règles.
En cas de besoin, vous pouvez intervenir dans cette discussion.

Ubuntu 18.04 LTS
Ubuntu-fr propose des clés USB de Ubuntu et toutes ses « saveurs » ainsi qu'un magnifique t-shirt pour cette toute nouvelle version d'Ubuntu !

Si vous avez des soucis pour rester connecté, déconnectez-vous puis reconnectez-vous depuis ce lien en cochant la case
Me connecter automatiquement lors de mes prochaines visites.

À propos de l'équipe du forum.

#1 Le 03/06/2018, à 12:02

elegouhinec

script monter une partition home

Bonjour,

je souhaite monter ma partition home (Btrfs) que je partage avec une autre distribution automatiquement .
pour le moment dans un terminal je tape "sudo mount /dev/sda2 /media" et j'ai accès en lecture écriture de mon autre partition Home.
y-a t-il un script pour çà.

merci

Hors ligne

#2 Le 03/06/2018, à 12:10

vincen

Re : script monter une partition home

elegouhinec a écrit :

Bonjour,

je souhaite monter ma partition home (Btrfs) que je partage avec une autre distribution automatiquement .
pour le moment dans un terminal je tape "sudo mount /dev/sda2 /media" et j'ai accès en lecture écriture de mon autre partition Home.
y-a t-il un script pour çà.

merci

Il suffit de la rajouter dans le fichier fstab qui contient tous les points de montage de la machine ! Je t'incite à faire une copie du fichier avant de le modifier et de tester tes modifs avant redémarrage (si tu te plantes cela peut aboutir très facilement à une machine qui ne démarre plus !). Et pour plus de détails: https://doc.ubuntu-fr.org/mount_fstab


Portable Clevo W355ST Ubuntu Xenial 16.04 LTS
PC Assemblage Ubuntu 18.04 LTS double écran sur NVidia
Bépo fan sur Typematrix :)

Hors ligne

#3 Le 03/06/2018, à 12:25

bluc

Re : script monter une partition home

je pense que si tu rajoutes la ligne de fstab de l'autre système correspondant a cette partition du fichier fstab au même fichier de Ubuntu , ça devrait fonctionner
comme dit précédemment faire une copie de ce fichier


Clevo :  Ubuntu 18.04   ❖  Deepin 15.5  ❖ Ubuntu 18.04
Packard Bell : Deepin 15.5 ❖  Ubuntu 17.10 ❖ Unity 18.04 avec partition data commune

Hors ligne

#4 Le 03/06/2018, à 12:29

vincen

Re : script monter une partition home

bluc a écrit :

je pense que si tu rajoutes la ligne de fstab de l'autre système correspondant a cette partition du fichier fstab au même fichier de Ubuntu , ça devrait fonctionner

Raccourci un peu rapide car cela suppose que le point de montage soit le même et existe sur les deux machines identiques !! Surtout bien tester avant de rebooter pour être sûr que tout est bon wink


Portable Clevo W355ST Ubuntu Xenial 16.04 LTS
PC Assemblage Ubuntu 18.04 LTS double écran sur NVidia
Bépo fan sur Typematrix :)

Hors ligne

#5 Le 03/06/2018, à 14:27

bluc

Re : script monter une partition home

Mes trois systèmes ont pour ma partition de données exactement la même ligne dans fstab
Pour la swap aussi

fstab du premier systeme

# /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=ba5fafee-d608-4689-ad9d-a998393dd6f9 /               ext4    errors=remount-ro 0       1
# /fichiers was on /dev/sda3 during installation
UUID=b1f2075f-13d8-402c-a2e0-e139ac1ab414 /fichiers       ext4    defaults        0       2
# swap was on /dev/sda5 during installation
UUID=bf15f949-c263-411c-80e9-80fb23a2e474 none            swap    sw              0       0

fstab du 2eme systeme

# /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=ba5fafee-d608-4689-ad9d-a998393dd6f9 /               ext4    errors=remount-ro 0       1
# /fichiers was on /dev/sda3 during installation
UUID=b1f2075f-13d8-402c-a2e0-e139ac1ab414 /fichiers       ext4    defaults        0       2
# swap was on /dev/sda5 during installation
UUID=bf15f949-c263-411c-80e9-80fb23a2e474 none            swap    sw              0       0

Le troisième idem

Je ne vois pas pourquoi ce serait différent
Par contre la ou je suis pas trop d'accord c'est le fait que ce soit un /home que l'on partage mais bon

Edit: j'ai relus ton message et tu parles de 2 machine ,bien sur ce serait different deja pour l'UUID
mais il me semble que c'est sur la meme machine  (a moins que j'aie mal lu ou mal compris le message de elegouhinec )

Dernière modification par bluc (Le 03/06/2018, à 14:36)


Clevo :  Ubuntu 18.04   ❖  Deepin 15.5  ❖ Ubuntu 18.04
Packard Bell : Deepin 15.5 ❖  Ubuntu 17.10 ❖ Unity 18.04 avec partition data commune

Hors ligne

#6 Le 05/06/2018, à 05:50

golgoth63

Re : script monter une partition home

elegouhinec a écrit :

Bonjour,

je souhaite monter ma partition home (Btrfs) que je partage avec une autre distribution automatiquement .
pour le moment dans un terminal je tape "sudo mount /dev/sda2 /media" et j'ai accès en lecture écriture de mon autre partition Home.
y-a t-il un script pour çà.

merci

Bonjour,

je ne sais pas quel système tu utilises mais tu joues un jeu TRES dangereux.

Personne n'a vu ça ou je n'ai rien compris : mount /dev/sda2 /media

/media est un dossier du système utilisé lors de montages automatiques. Utiliser ce dossier comme point de montage va d'une part poser problème pour ces montages et d'autres part générer des modifications non souhaitées dans ta partition sda2.

Tu risques de "casser" tes 2 systèmes.


Pour monter correctement une partition, la première étape est toujours la création du point de montage qui ne doit pas être un dossier système. Tu as totalement zappé ce point.

Enfin, mais c'est un autre problème, partager /home n'a aucun intérêt. C'est le partage des données qui est utiles. Tu trouveras divers posts sur l'utilisation et le partage d'une partition data.


@bluc,
tes fstab sont bien bizarres ! Je doute que l'on puisse trouver le "/" de 2 systèmes avec le même uuid.
Sinon, pour une partition "DATA" (fichiers chez toi), on utilise comme tu le dis un même point de montage et la même ligne de fstab.
Mais la, on parle, je pense, d'un /home à monter en /data. Enfin si sda2 est bien le home du 1er système.

Dernière modification par golgoth63 (Le 05/06/2018, à 06:18)


Kubuntu 18.04 LTS / KDE neon 5.12 LTS
Un livre de Frédéric Dard à lire : les trolls ! Comme à la maternelle, c'est celui qui dit qui est !
Avis d'un troll : Linux, c'est simple ! A moins de faire le nécessaire pour tout compliquer !

Hors ligne