Contenu | Rechercher | Menus

Annonce

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 23/04/2019, à 13:51

pierrot10

Comment créer une nouvelle partition

Bonjour,
J'ai initiallement installé Ubuntu 18 comme ceci

Disque SSD
/
/boot
/swap

Disque Sata
/home

On me demande de splité le disque SSD, soit de diminuer l'espace de / pour avoir une nouvelle partition.

/
/boot
/swap
/autre

J'ai fais une erreur et je réinstalle Ubuntu mais je dois conserver home (même s'il n'y a pas encore de donnée)

Je refais mes partition

/ (250G)
/boot (1G)
/swap (6G)

et là, pour la derniere, qui doit etre accessible par tout le mode, je ne sais pas quel point de montage je dois choisir.

Ce que j'appelle provisoirement /autre, elle doit occuper l'espace restant du disque SSD et elle doit etre accessible par tout le monde, un peu comme un disque dur externe.
Le choix de point de montage que j'ai à disposition sont

/tmp
/usr
/var
/srv
/opt
/usr/local

Je pensais prendre /opt, ou mieux: /media mais ce dernier n'est pas listé (mais je peux le définir manuellement.

Je me demande comment vous me suggeriez-vous de faire, afin d'avoir un point de montage comme /public occupant le reste du disque SSD?

Milles mercis

Hors ligne

#2 Le 23/04/2019, à 17:02

lucmars

Re : Comment créer une nouvelle partition

Deux erreurs dans ton partitionnement initial :
/boot n'est pas nécessaire et meme non recommandé
/swap n'est plus necessaire avec la version 18 (c'est désormais un fichier)

Concernant la partition de données pour tous /media/données (par exemple) en tous cas le point de montage doit etre /media/...


Gaulois Matter !

Hors ligne

#3 Le 23/04/2019, à 19:30

geole

Re : Comment créer une nouvelle partition

pierrot10 a écrit :

Bonjour,
....
On me demande de spliter le disque SSD, soit de diminuer l'espace de / pour avoir une nouvelle partition.

/
/boot
/swap
/autre

J'ai fais une erreur et je réinstalle Ubuntu mais je dois conserver home (même s'il n'y a pas encore de donnée)

Je refais mes partitions

/ (250G)
/boot (1G)
/swap (6G)

et là, pour la dernière, qui doit etre accessible par tout le mode, je ne sais pas quel point de montage je dois choisir.

Ce que j'appelle provisoirement /autre, elle doit occuper l'espace restant du disque SSD et elle doit etre accessible par tout le monde, un peu comme un disque dur externe.
Le choix de point de montage que j'ai à disposition sont

/tmp
/usr
/var
/srv
/opt
/usr/local

Je pensais prendre /opt, ou mieux: /media mais ce dernier n'est pas listé (mais je peux le définir manuellement.

Je me demande comment vous me suggeriez-vous de faire, afin d'avoir un point de montage comme /public occupant le reste du disque SSD?

Milles mercis

Bonjour.
Pour répondre uniquement à ta question,   tu choisis n'importe lequel, puis tu modifies  le nom  que tu as retenu pour mettre celui qui te plait en évitant les caractères  accentués, les signes de ponctuation et les espaces.
Je te suggère de mettre la première  lettre en majuscule afin d'éviter le risque d'un télescopage avec un mon pouvant exiter.

Exemple: Si tu te positionnes sur /opt, tu modifies les lettres opt pour écrire  Autre ou Public ou Donnees L'important est de ne pas supprimer le caractère / qui précède. Ton installation fabriquera automatiquement le répertoire que tu indiques et mettra  le point de montage dans /etc/fstab


Nota1: Tu as prévu 250 Go por la partition racine /, je pense que 50 Go sont bien suffisants.
Nota2: Lorsque les partitions sont montrées  et démontées à la main pendant les sessions des utilisateurs, le répertoire /media est celui qui est utilisé. C'est pour cela qu'il n'est pas proposé dans la liste. Comme cette partition sera toujous montée par le démarrage de ubuntu, elle n'a lieu d'étre montée sur /media.

Dernière modification par geole (Le 23/04/2019, à 19:38)


Les grilles de l'installateur https://doc.ubuntu-fr.org/tutoriel/inst … _subiquity
"gedit admin:///etc/fstab" est proscrit,  utilisez "pkexec env DISPLAY=$DISPLAY XAUTHORITY=$XAUTHORITY xdg-open /etc/fstab" Voir  https://doc.ubuntu-fr.org/gedit
Les partitions EXT4 des disques externes => https://forum.ubuntu-fr.org/viewtopic.p … #p22697248

Hors ligne

#4 Le 23/04/2019, à 20:17

lucmars

Re : Comment créer une nouvelle partition

@geole
Donc je disais des conneries concernant la partition pour tous /media n'est pas le bon choix, ok ?

Mais peut-on vraiment créer des points de montage inexistant à la racine?


Gaulois Matter !

Hors ligne

#5 Le 24/04/2019, à 16:43

geole

Re : Comment créer une nouvelle partition

Bonjour lucmars
Je pense que mettre une partition toujours présente sur le point de montage /media  ne me semble pas la meilleure solution.
Il faut penser aux réactions possibles des utilisateurs   avec une commande 

ls -ls /media

  qui donnera probablement des centaines de lignes au lieu de très peu.
Il faut aussi penser à la possiblité de création d'un vrai répertoire ayant le nom de l'utilisateur   puis plein de sous-répertoires dont certains pourraient avoir des noms identiques aux "label" des partitions externes.  Il y aurait probablement alors un gros mélange.

Je ne sais pas, si pendant cette installation, on peut mettre un sous-niveau   du style
/Autre/PourTous
/media/PourTous
/home/PourTous
Je pense simplement qu'un seul niveau est bien suffisant et je regrette que l'installateur ne propose plus un point de montage banalisé. A une époque, il y en avait deux de proposés
/windows
/dos


Les grilles de l'installateur https://doc.ubuntu-fr.org/tutoriel/inst … _subiquity
"gedit admin:///etc/fstab" est proscrit,  utilisez "pkexec env DISPLAY=$DISPLAY XAUTHORITY=$XAUTHORITY xdg-open /etc/fstab" Voir  https://doc.ubuntu-fr.org/gedit
Les partitions EXT4 des disques externes => https://forum.ubuntu-fr.org/viewtopic.p … #p22697248

Hors ligne