Pages : 1
#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
/swapDisque 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
Bonjour,
....
On me demande de spliter le disque SSD, soit de diminuer l'espace de / pour avoir une nouvelle partition./
/boot
/swap
/autreJ'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/localJe 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
Pages : 1