#1 Le 19/09/2022, à 12:41
- loloof64
[Résolu] Disque dur externe SSD pour la partition /home ?
Bonjour
Mon PC portable - que j'ai acquis récemment - ne disposant que peu de mémoire sur disque dur (512Go que j'ai partagé avec la partition Windows),
j'ai l'idée de remplacer la partition /home par un lien symbolique vers un disque dur externe SSD.
Un ami m'a recommandé de ne pas procéder ainsi, parce qu'en cas de déconnexion du disque externe, je risque d'avoir des soucis de fonctionnement.
Néanmoins, persuadé que le soucis serait mineur, j'aimerais tout de même avoir votre avis, avant l'acquisition éventuelle du disque dur SSD et de procéder au lien symbolique.
Je vous remercie d'avance.
Dernière modification par loloof64 (Le 19/09/2022, à 13:33)
Hors ligne
#2 Le 19/09/2022, à 13:02
- Qid
Re : [Résolu] Disque dur externe SSD pour la partition /home ?
Un ami m'a recommandé de ne pas procéder ainsi, parce qu'en cas de déconnexion du disque externe, je risque d'avoir des soucis de fonctionnement.
Néanmoins, persuadé que le soucis serait mineur, j'aimerais tout de même avoir votre avis, avant l'acquisition éventuelle du disque dur SSD et de procéder au lien symbolique.
Bah en fait il y a toujours cet éternel débat :
Il est sûr que non effectivement ce n'est pas une bonne idée de mettre les configurations utilisateurs d'application sur un disque externe car si il y a un faux contact même si ça ne fera pas sauter la totalité du système (contrairement à si ce dernier avait été totalement en externe) tu risque d'avoir des soucis de désynchronisation des fichiers
Par contre à contrario ce qui est certain dans ton cas de figure c'est que tes fichiers perso eux ont évidemment toute leur place trouvé sur ce disque externe et non dans le home...
Ça t'est imposé presque de fait mais pour la sécurité de tes fichiers perso je rappelle que le stockage devrait être toujours isolé du système...
"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
#3 Le 19/09/2022, à 13:19
- MicP
Re : [Résolu] Disque dur externe SSD pour la partition /home ?
Bonjour
Ceci dit, s'il créé sur son disque externe une partition formatée avec un système de fichiers de type ext4
il pourrait ensuite utiliser ce système de fichiers pour y créer ses répertoires personnels de données Documents Images Musique Téléchargements Vidéos (et autres répertoires persos non indispensables au fonctionnement du système)
Ensuite il pourra transférer le contenu de ces répertoires qui sont sur son disque interne vers ceux qui sont sur son disque externe,
puis supprimer les répertoires (avec leur contenu) qui ont été transférés sur le disque externe pour pouvoir remplacer ces répertoires par des fichiers de type lien vers les répertoires du disque externe.
De cette façon, même si le disque externe n'est pas accessible,
il pourra toujours démarrer et ouvrir sa session pour utiliser son système qui pourra très bien fonctionner sans ses fichiers persos de données tant qu'il n'aura pas connecté son disque externe
Dernière modification par MicP (Le 19/09/2022, à 13:27)
Hors ligne
#4 Le 19/09/2022, à 13:26
- loloof64
Re : [Résolu] Disque dur externe SSD pour la partition /home ?
Bah en fait il y a toujours cet éternel débat :
Il est sûr que non effectivement ce n'est pas une bonne idée de mettre les configurations utilisateurs d'application sur un disque externe car si il y a un faux contact même si ça ne fera pas sauter la totalité du système (contrairement à si ce dernier avait été totalement en externe) tu risque d'avoir des soucis de désynchronisation des fichiers
Par contre à contrario ce qui est certain dans ton cas de figure c'est que tes fichiers perso eux ont évidemment toute leur place trouvé sur ce disque externe et non dans le home...
Ça t'est imposé presque de fait mais pour la sécurité de tes fichiers perso je rappelle que le stockage devrait être toujours isolé du système...
Merci, il a donc raison.
Ma principale motivation ne réside pas seulement dans le stockage de fichiers, mais dans le fait lors de la programmation de projets en Javascript/Flutter/Rust - cibles que je risque d'utiliser fréquement - les dépendances téléchargées se retrouvent dans les dossiers .cache de mon dossier personnel. Ce qui semble peser pas mal dans la prise de poids de mon dossier personnel.
D'autre part, un projet Flutter, à lui seul, représente aussi une bonne quantité de mémoire disque (étant donné qu'il gère les compilations pour Linux/Windows, Android et IOS -même si je ne suis pas directement concerné dans le cas d'IOS).
Voilà, après une solution plus raisonnable serait peut être de vider le cache de temps à autres. En ce qui concerne les projets, les effacer de temps en temps, d'autant plus que j'ai des référentiels Github.
Hors ligne
#5 Le 19/09/2022, à 13:29
- MicP
Re : [Résolu] Disque dur externe SSD pour la partition /home ?
Ok,
alors dans ce cas, ne t'embête pas : change ton disque interne par un SSD de 1TB, comme ça tu auras de la place et la machine avec ce SSD sera plus réactive,
et garde ton disque de 512GB pour tes sauvegardes.
Hors ligne
#6 Le 19/09/2022, à 13:29
- loloof64
Re : [Résolu] Disque dur externe SSD pour la partition /home ?
Bonjour
Ceci dit, s'il créé sur son disque externe une partition formatée avec un système de fichiers de type ext4
il pourrait ensuite utiliser ce système de fichiers pour y créer ses répertoires personnels de données Documents Images Musique Téléchargements Vidéos (et autres répertoires persos non indispensables au fonctionnement du système)Justement, il parait qu'il faut conserver la partition d'origine sur le Disque Dur externe (dixit mon ami, à qui l'on a également recommandé cela).
Ensuite il pourra transférer le contenu de ces répertoires qui sont sur son disque interne vers ceux qui sont sur son disque externe,
puis supprimer les répertoires (avec leur contenu) qui ont été transférés sur le disque externe pour pouvoir remplacer ces répertoires par des fichiers de type lien vers les répertoires du disque externe.De cette façon, même si le disque externe n'est pas accessible,
il pourra toujours démarrer et ouvrir sa session pour utiliser son système qui pourra très bien fonctionner sans ses fichiers persos de données tant qu'il n'aura pas connecté son disque externe
Hors ligne
#7 Le 19/09/2022, à 13:31
- MicP
Re : [Résolu] Disque dur externe SSD pour la partition /home ?
Oui, mais je ne savais pas encore que ton répertoire ~/.cache allait être aussi occupé et prendre tant de place, et ça, ça change tout.
… Justement, il parait qu'il faut conserver la partition d'origine sur le Disque Dur externe (dixit mon ami, à qui l'on a également recommandé cela). …
Ce que je proposais ne changeait pas la partition /home/ car elle restait sur le disque interne
Dernière modification par MicP (Le 19/09/2022, à 13:33)
Hors ligne
#8 Le 19/09/2022, à 13:31
- loloof64
Re : [Résolu] Disque dur externe SSD pour la partition /home ?
Ok,
alors dans ce cas, ne t'embête pas : change ton disque interne par un SSD de 1TB, comme ça tu auras de la place et la machine avec ce SSD sera plus réactive,
et garde ton disque de 512GB pour tes sauvegardes.
D'accord merci, effectivement, c'est mieux de voir un spécialiste dépanneur, et voir si je peux faire changer le disque interne (déjà du ssd mais 512go).
Hors ligne
#9 Le 19/09/2022, à 13:32
- loloof64
Re : [Résolu] Disque dur externe SSD pour la partition /home ?
Oui, mais je ne savais pas encore que ton répertoire ~/.cache allait être aussi occupé et prendre tant de place, et ça, ça change tout.
Pas de problème, merci beaucoup pour vos réponses.
Hors ligne
#10 Le 19/09/2022, à 13:33
- Qid
Re : [Résolu] Disque dur externe SSD pour la partition /home ?
Ensuite il pourra transférer le contenu de ces répertoires qui sont sur son disque interne vers ceux qui sont sur son disque externe,
puis supprimer les répertoires (avec leur contenu) qui ont été transférés sur le disque externe pour pouvoir remplacer ces répertoires par des fichiers de type lien vers les répertoires du disque externe.
Je reste perplexe face à cette idée : si le lien casse parce-que le disque USB n'est pas présent (je rappelle qu'il n'est pas forcément bon d'avoir un disque dur USB branché en continu si ce dernier n'est pas utilisé : question de risque électrique inutile) que va-t-il se passer : perso dans le doute je préfère éviter...
"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
#11 Le 19/09/2022, à 13:36
- MicP
Re : [Résolu] Disque dur externe SSD pour la partition /home ?
Si le lien casse, il n'aura tout simplement pas accès à des fichiers qui ne sont pas utilisés par le système puisque ils sont dans les répertoires Documents Images Musique Téléchargements Vidéos de son compte personnel
il ne s'agit que de fichiers perso de données qui ne sont pas utilisés pour le fonctionnement du système, il peut les déconnecter/reconnecter quand il veux.
Voilà ce qu'il se passe quand je déconnecte mon système de fichiers utilisé pour mes données perso :
michel@deb114x:~$ df -htext4
Sys. de fichiers Taille Utilisé Dispo Uti% Monté sur
/dev/sda6 24G 6,1G 17G 28% /
michel@deb114x:~$
michel@deb114x:~$ ls -l | grep ^l
lrwxrwxrwx 1 root root 25 28 juil. 13:44 Documents -> /donnees/michel/Documents
lrwxrwxrwx 1 root root 22 28 juil. 13:44 Images -> /donnees/michel/Images
lrwxrwxrwx 1 root root 24 28 juil. 13:44 machVirt -> /donnees/michel/machVirt
lrwxrwxrwx 1 root root 26 28 juil. 13:44 mesScripts -> /donnees/michel/mesScripts
lrwxrwxrwx 1 root root 23 28 juil. 13:44 Musique -> /donnees/michel/Musique
lrwxrwxrwx 1 root root 23 28 juil. 13:44 partage -> /donnees/michel/partage
lrwxrwxrwx 1 root root 33 28 juil. 13:44 Téléchargements -> /donnees/michel/Téléchargements
lrwxrwxrwx 1 root root 27 28 juil. 13:44 tests.avant -> /donnees/michel/tests.avant
lrwxrwxrwx 1 root root 23 28 juil. 13:44 Vidéos -> /donnees/michel/Vidéos
michel@deb114x:~$
et actuellement mon système fonctionne parfaitement bien, je n'ai tout simplement pas accès à ces répertoires liés,
puisque j'ai démonté le système de fichiers qui était monté sur mon répertoire /donnees/
michel@deb114x:~$ ls -ld ~/Téléchargements
lrwxrwxrwx 1 root root 33 28 juil. 13:44 /home/michel/Téléchargements -> /donnees/michel/Téléchargements
michel@deb114x:~$
michel@deb114x:~$ ls -ld ~/Téléchargements/
ls: impossible d'accéder à '/home/michel/Téléchargements/': Aucun fichier ou dossier de ce type
michel@deb114x:~$
Il me suffit de remonter ce système de fichiers pour avoir de nouveaux accès à ces fichiers,
et une fois remonté :
michel@deb114x:~$ ls -ld ~/Téléchargements/
drwxr-xr-x 29 michel michel 57344 19 sept. 11:06 /home/michel/Téléchargements/
michel@deb114x:~$
et voilà, j'ai de nouveau accès à mes répertoires liés et à leur contenu, même pas besoin de fermer ma session.
michel@deb114x:~$ df -htext4
Sys. de fichiers Taille Utilisé Dispo Uti% Monté sur
/dev/sda6 24G 6,1G 17G 28% /
/dev/mapper/mongroupelvm-donneesLV 296G 159G 124G 57% /donnees
michel@deb114x:~$
Dernière modification par MicP (Le 19/09/2022, à 13:50)
Hors ligne
#12 Le 19/09/2022, à 14:04
- loloof64
Re : [Résolu] Disque dur externe SSD pour la partition /home ?
Merci. Donc cela peut valoir le coup d'essayer.
Hors ligne
#13 Le 19/09/2022, à 14:21
- MicP
Re : [Résolu] Disque dur externe SSD pour la partition /home ?
Il te faudrait voir ce qui te prends le plus de place dans ton répertoire personnel
de façon à voir si en déplaçant les répertoires Documents, etc. ça te ferait assez de place de libérée.
Il y a un programme texte (très rapide et simple à utiliser) qui est parfait pour ça
qui permet de naviguer dans les répertoires et sous-répertoire et qui classe ce qui est affiché par ordre de grandeur d'espace disque occupé.
Il s’appelle ncdu
et tu peux l'installer en lançant simplement :
apt install ncdu
et une fois installé, tu lances la commande :
ncdu -er --color dark
et tu tapes un point d'interrogation pour faire s'afficher l'aide en ligne qui te permettra de voir toutes les touches de raccourci utilisables.
Là, je t'ai proposé la ligne de commande avec l'option r qui t'empêchera de supprimer des fichiers ou répertoire <=> tu ne pourras que voir et PAS supprimer.
Bien sûr, une fois le paquetage ncdu installé,
tu pourras aussi aller lire le manuel de ncdu qui sera installé:
man ncdu
Dernière modification par MicP (Le 19/09/2022, à 14:25)
Hors ligne
#14 Le 19/09/2022, à 14:30
- geole
Re : [Résolu] Disque dur externe SSD pour la partition /home ?
Bonjour.
Le plus simple me semble de mettre tout ubuntu dans le SSD externe.
car le logiciel de base n'est pas très volumineux.
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
#15 Le 19/09/2022, à 14:34
- Qid
Re : [Résolu] Disque dur externe SSD pour la partition /home ?
michel@deb114x:~$ ls -ld ~/Téléchargements/ ls: impossible d'accéder à '/home/michel/Téléchargements/': Aucun fichier ou dossier de ce type michel@deb114x:~$
vu sous cet angle ok... tu me rassures... parce que ce qui m'inquiétait c'est que l'écriture reste possible malgré tout dans le dossier... cela dit je garde quand même mon idée qu'utiliser/que détourner la structure logiciel prévu par le système pour stocker les données perso n'est pas une bonne chose...
nb : ce que je remet en cause dans ce cas c'est l'invisibilité pour les non initiés du fait que les données sont bien externalisées... mais finalement c'est tout le "problème" de linux qui a la liberté de permettre à n'importe quel dossier vide d'être point de montage d'une autre partition... parce que finalement faire un lien symbolique revient presque au même...
"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
#16 Le 19/09/2022, à 14:37
- Qid
Re : [Résolu] Disque dur externe SSD pour la partition /home ?
Le plus simple me semble de mettre tout ubuntu dans le SSD externe.
oui mais non car ça ne change pas le débat sur les risque de coupure et donc de crash système...
cette idée est même pire comme j'en ai déjà parlé dans un de mes précédents post...
"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
#17 Le 19/09/2022, à 14:41
- MicP
Re : [Résolu] Disque dur externe SSD pour la partition /home ?
… mettre tout ubuntu dans le SSD externe. …
Oui, c'est vrai aussi que ça pourrait être encore plus simple (et peut-être même avec l'avantage d'être utilisable en plus sur d'autres machines)
mais seulement s'il a autre chose de plus performant qu'un port USB en version 2.0, donc, au moins un port USB 3.2 et le boîtier USB<->SATA qui va avec,
parce que sinon, même avec un bon SSD, le débit d'accès sera freiné au niveau de la connexion USB
Dernière modification par MicP (Le 19/09/2022, à 14:41)
Hors ligne
#18 Le 19/09/2022, à 16:18
- geole
Re : [Résolu] Disque dur externe SSD pour la partition /home ?
Bonjour
Mon PC portable - que j'ai acquis récemment - ne disposant que peu de mémoire sur disque dur (512Go que j'ai partagé avec la partition Windows),
Tu as quand même pas mal de place.
Fais du standard avec une partition de données personnelles en NTFS sur disque dur externe
https://doc.ubuntu-fr.org/tutoriel/part … ows_ubuntu
Au final tu auras quelque chose de ce genre sur ton disque interne
Logiciel windows 100 Go
Logiciel ubuntu 50 Go
Il te restera alors quasiment 350 go pour tes caches...
Dernière modification par geole (Le 19/09/2022, à 16:19)
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
#19 Le 19/09/2022, à 16:22
- Coeur Noir
Re : [Résolu] Disque dur externe SSD pour la partition /home ?
Le fait de délocaliser des dossiers du $HOME natif ( c.à.d que /home/$USER reste sur la partition de la / racine système ) via des liens symboliques qui ciblent des dossiers d'une autre partition ( autre disque, autre machine… ),
peut tout à fait s'appliquer au dossier ~/.cache ou juste un de ses sous-dossiers, disons que tu as habituellement un dossier ~/.cache/javascript :
mv ~/.cache/javascript /autre/partition/dans_un_dossier/où_tu_peux_écrire/
puis
ln -s /autre/partition/dans_un_dossier/où_tu_peux_écrire/javascript ~/.cache/ # attention à ce dernier caractère / : il indique qu'on veut créer un lien de même nom que sa cible DANS ~/.cache
suite à ça un
ls -la ~/.cache
devrait entre autres montrer une ligne
lrwxrwxrwx 1 $USER $USER ×× date hh:min javascript -> /autre/partition/dans_un_dossier/où_tu_peux_écrire/javascript
Si tu n'as pas peur d'une doc' longue et indigeste ( c'est mon œuvre ) → https://doc.ubuntu-fr.org/organiser_data_utilisateurs
Ne pas oublier - sur l'autre partition - de créer la ou les corbeilles ( sous Linux : une PAR utilisateur et PAR partition. )
Dernière modification par Coeur Noir (Le 19/09/2022, à 16:48)
Débuter ⋅ Doc ⋅ Bien rédiger ⋅ Retour commande ⋅ Insérer image | illustrations & captures d'écran < ⋅ >
Hors ligne
#20 Le 19/09/2022, à 16:29
- Coeur Noir
Re : [Résolu] Disque dur externe SSD pour la partition /home ?
Fais du standard avec une partition de données personnelles en NTFS sur disque dur externe
D'habitude tu conseilles plutôt de l'ExFat que tu juges plus robuste, as-tu changé d'avis ?
Autre avantage de l'ExFat ( sauf erreur, ignorance de ma part ) c'est un format réparable et maintenable depuis Linux, contrairement au NTFS.
NTFS ( ou ExFat ) ne sont pas compatibles droits et permissions Linux :
⋅ impliqueront des options de montage adéquates à ce sujet ;
⋅ ne devront servir qu'à des données où cette question de droits et permissions n'est pas un enjeu ( donc ok pour des documents, des médias divers et variés à l'attention des humains ; pas ok du tout pour des fichiers « système » ).
Dernière modification par Coeur Noir (Le 19/09/2022, à 16:33)
Débuter ⋅ Doc ⋅ Bien rédiger ⋅ Retour commande ⋅ Insérer image | illustrations & captures d'écran < ⋅ >
Hors ligne
#21 Le 19/09/2022, à 16:33
- Qid
Re : [Résolu] Disque dur externe SSD pour la partition /home ?
Geole a écrit :Fais du standard avec une partition de données personnelles en NTFS sur disque dur externe
D'habitude tu conseilles plutôt de l'ExFat que tu juges plus robuste, as-tu changé d'avis ?
Autre avantage de l'ExFat ( sauf erreur, ignorance de ma part ) c'est un format réparable et maintenable depuis Linux, contrairement au NTFS.
je crois que ce n'est plus le cas depuis que le driver du ntfs a changé (ce n'est pas une prévision que j'aurais lu dans le fil de la 22.10 ?) : il semblerait que maintenant il soit tout autant réparable sous linux... me demande pas comment ni ma source je ne fais que emmètre un doute...
cela dit je reste d'accord avec toi : maintenant il est peut-être mieux de conseiller de l'exfat même si ce dernier est moins universel que le ntfs...
"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
#22 Le 19/09/2022, à 16:41
- geole
Re : [Résolu] Disque dur externe SSD pour la partition /home ?
j'ai écrit NTFS sans réfléchir, tout comme EXT4, la partition a besoin d'être réparée lorsque la connexion externe est brusquement rompue. Ce qui n'est pas le cas du EXFAT qui est aussi connu par apple.
Dernière modification par geole (Le 19/09/2022, à 16:42)
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
#23 Le 19/09/2022, à 16:43
- Coeur Noir
Re : [Résolu] Disque dur externe SSD pour la partition /home ?
Sans source, ni doc', ni retour d'expérience → in doubt, abstain → il y a déjà quelques messages dans le forum à propos d'éventuelles nouveautés autour du support NTFS dans 22.04, wait and see.
Un support nomade~amovible~externe dans un format de système de fichiers lisible et inscriptible depuis plusieurs types d'OS a bien sûr tout son sens !
Par contre un support à~demeure~sédentaire~interne auquel on accède seulement depuis Linux nécessite un système de fichiers compatible Linux. C'est plus prudent ( et polyvalent dans le cadre de cet OS Linux. )
Débuter ⋅ Doc ⋅ Bien rédiger ⋅ Retour commande ⋅ Insérer image | illustrations & captures d'écran < ⋅ >
Hors ligne