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.

#51 Le 08/05/2015, à 21:21

Gael de Sailly

Re : Partition trop petite

tiramiseb a écrit :

Attends, tu viens à peine de t'en rendre compte !? C'est ce que je dis depuis le message #11 : c'est très probablement le home du précédent système !

Et, sans l'avoir dit depuis le début, cela m'apparaît évident au vu du screenshot, c'est pour cela que j'ai la même proposition depuis le message #3.

Même moi je peux vous le confirmer : c'est le home du précédent système, puisque c'est là que je retrouve les fichiers qui étaient avant dans mon dossier personnel.

Ce n'est pas très facile de vous suivre.

moko138 a écrit :

Gaël, je crois que tu as le temps de boire un pot avant qu'ils n'aient vidé leur querelle de geeks...
Tu as même le temps de siffler toute ta cave.  smile

Ce qui ne règle pas ton problème sad

???
C'est trop marrant comme vous ne me connaissez pas lol

moko138 a écrit :

As-tu remarqué, Gaël, avec quel souci d'efficacité et de politesse certains évacuent :

Ce qui ne règle pas ton problème sad

Sans commentaire.

Je n'y suis pour rien dans votre “querelle de geeks” !!!
Je suis juste un petit novice (j'osais pas dire ça au début mais face à tiramiseb…) qui pose une question qui lance la polémique.
Et en plus, j'apprend plein de choses !

tiramiseb a écrit :

Gael de Sailly, tu as le choix entre trois possibilités (c'est une redite, plus complète, de mon message #27) :

1/ détruire ou réduire la grosse partition pour ensuite agrandir la petite
[solution de Bougron]

=> il faut d'abord sauvegarder les 16 Go de données qui sont dedans
=> puis utiliser gparted pour redimensionner, en laissant le temps à l'ordinateur de le faire, sachant que ça peut prends de longues minutes, parfois ça se compte en heures

2/ utiliser la grosse partition pour stocker toutes les données utilisateur (y compris les configuration perso)
[ma solution]

=> il faut d'abord transférer tes données et configs actuelles vers la grosse partition
=> puis ajouter une ligne dans un fichier de configuration

3/ utiliser la grosse partition uniquement pour tes données, en laissant tes configs perso dans la partition système
[solution de Qid]

=> il faut d'abord transférer tes données actuelles vers la grosse partition
=> puis ajouter une ligne dans un fichier de configuration
=> puis créer des liens qui vont bien pour pointer vers ces données-là, à partir de ton répertoire utilisateur


On ne peut pas faire ce choix pour toi, et une fois que tu auras fait un choix entre ces possibilités on pourra te guider pour faire les opérations.

2 > 1 > 3.
La 2ème solution c'est en fait changer le rôle de la grosse partition pour que je l'utilise comme la petite maintenant ?
Ça a l'air plus “léger” comme méthode plutôt que de tout redimensionner.

Mais je ne sais pas du tout comment faire…


Contributeur de Minetest et d'OpenStreetMap.

Hors ligne

#52 Le 08/05/2015, à 21:24

Qid

Re : Partition trop petite

tiramiseb a écrit :

Ta vision du monde c'est que les professionnels n'aiment pas Linux ?

Non c'est un peu plus subtile mais professionnels ou non
ici nous devrions tous poursuivre le même but... donc je préfère m'abstenir d'en dire plus
Par contre j'ai vu au moins un de tes exemples de mauvais... et non c'est pas moi qui l'ai vécu mais ça n'empêche...


"GNU/Linux c'est que du bon mais M$ Windows ce n'est pas si mal"
Référent technique Ubuntu d'un Groupe d'Utilisateur du Libre
plus d'info sur mon profil

Hors ligne

#53 Le 08/05/2015, à 21:26

tiramiseb

Re : Partition trop petite

Ça a l'air plus “léger” comme méthode plutôt que de tout redimensionner.

Oui, les solutions 2 et 3 sont aussi, à mon sens, plus légères.

La 2ème solution c'est en fait changer le rôle de la grosse partition pour que je l'utilise comme la petite maintenant ?

Pas exactement non, la 2me solution c'est d'avoir cette grosse partition en tant que home, comme c'était avant.
Le système resterait sur la petite partition.

Hors ligne

#54 Le 08/05/2015, à 21:29

tiramiseb

Re : Partition trop petite

Pour réaliser la solution 2, l'idée globale serait la suivante :
1/ redémarrer sur un live
2/ monter /dev/sda5 sur une partition (appelons-la /media/sda5)
3/ monter /ev/sda6 sur une autre partition (appelons-la /media/sda6)
4/ renommer /media/sda5/<username> en /media/sda5/<username>.old
5/ déplacer /media/sda6/<username> dans /media/sda5/
6/ éditer /media/sda6/etc/fstab pour y ajouter une ligne pour monter /dev/sda5 dans /home
7/ redémarrer, voilà c'est fini

Hors ligne

#55 Le 08/05/2015, à 21:40

Qid

Re : Partition trop petite

tiramiseb a écrit :

4/ renommer /media/sda5/<username> en /media/sda5/<username>.old

Si ça se passe bien comme ça on peut rester ami ... wink


"GNU/Linux c'est que du bon mais M$ Windows ce n'est pas si mal"
Référent technique Ubuntu d'un Groupe d'Utilisateur du Libre
plus d'info sur mon profil

Hors ligne

#56 Le 08/05/2015, à 21:49

Gael de Sailly

Re : Partition trop petite

tiramiseb a écrit :

Pour réaliser la solution 2, l'idée globale serait la suivante :
1/ redémarrer sur un live
2/ monter /dev/sda5 sur une partition (appelons-la /media/sda5)
3/ monter /ev/sda6 sur une autre partition (appelons-la /media/sda6)
4/ renommer /media/sda5/<username> en /media/sda5/<username>.old
5/ déplacer /media/sda6/<username> dans /media/sda5/
6/ éditer /media/sda6/etc/fstab pour y ajouter une ligne pour monter /dev/sda5 dans /home
7/ redémarrer, voilà c'est fini

Je vais essayer comme ça…

… mais pas ce soir !
Et peut-être pas avant lundi…


Contributeur de Minetest et d'OpenStreetMap.

Hors ligne

#57 Le 08/05/2015, à 21:56

tiramiseb

Re : Partition trop petite

Pas de souci.

Attention, manipulations à faire en tant que root, en live.

Par ailleurs, on est dispo si tu as besoin d'aide, mais personnellement pas lundi : je serai toute la journée en classe, devant mes élèves.

Hors ligne

#58 Le 14/05/2015, à 09:03

Gael de Sailly

Re : Partition trop petite

tiramiseb a écrit :

2/ monter /dev/sda5 sur une partition (appelons-la /media/sda5)

Je ne comprend pas ce que je dois faire à cette étape-là. Le bouton "monter" est grisé.

Sur GParted, j'ai ça au démarrage, en Live ou pas :
Bogue de libparted trouvé !


Contributeur de Minetest et d'OpenStreetMap.

Hors ligne

#59 Le 14/05/2015, à 09:07

tiramiseb

Re : Partition trop petite

Je ne comprend pas ce que je dois faire à cette étape-là. Le bouton "monter" est grisé.

sudo mkdir /media/sda5
sudo mount /dev/sda5 /media/sda5

Sur GParted, j'ai ça au démarrage [...]

Si tu modifies une partition en cours d'utilisation, il faut redémarrer pour que le système en train de l'utiliser voit les modifications.
Ça le fait parce que le système utilise l'une des partitions contenues dans /dev/sda3, tu as modifié soit une de ces partitions soit /dev/sda3 elle-même.


Attention ! J'ai l'impression que tu essaies de suivre deux pistes en même temps - deux pistes dont la logique est diamétralement opposée.
Il faut que tu choisisses une seule piste et que tu t'y tiennes, sinon en essayant de partir en même temps à gauche et à droite, tu risque d'aller droit dans le mur.

Hors ligne