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 19/09/2022, à 12:41

loloof64

[Résolu] Disque dur externe SSD pour la partition /home ?

Bonjour smile

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. smile

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 ?

loloof64 a écrit :

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 ?

Qid a écrit :

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 ?

MicP a écrit :

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.

loloof64 a écrit :

… 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 ?

MicP a écrit :

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). smile

Hors ligne

#9 Le 19/09/2022, à 13:32

loloof64

Re : [Résolu] Disque dur externe SSD pour la partition /home ?

MicP a écrit :

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. smile

Hors ligne

#10 Le 19/09/2022, à 13:33

Qid

Re : [Résolu] Disque dur externe SSD pour la partition /home ?

MicP a écrit :

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. smile

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 ?

MicP a écrit :
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 ?

geole a écrit :

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 ?

geole a écrit :

… 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 ?

loloof64 a écrit :

Bonjour smile

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 big_smile ) → 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ébuterDocBien rédigerRetour commandeInsé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 ?

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.

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ébuterDocBien rédigerRetour commandeInsé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 ?

Coeur Noir a écrit :
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 lol → 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ébuterDocBien rédigerRetour commandeInsérer image | illustrations & captures d'écran <>

Hors ligne