Aucun espace disponible sur le périphérique

[Puppet_Master]

Dernier message de la page précédente :

Code : Tout sélectionner

egiro@egiro-MS-7817:~$ sudo apt remove ri  linux-headers-5.4.0-177     linux-headers-5.4.0-190      linux-headers-5.4.0-192   linux-headers-5.4.0-195   linux-hwe-5.15-headers-5.15.0-122   linux-modules-5.15.0-122-generic
[sudo] Mot de passe de egiro :            
Lecture des listes de paquets... Fait
Construction de l'arbre des dépendances       
Lecture des informations d'état... Fait
Le paquet « ri » n'est pas installé, et ne peut donc être supprimé
Le paquet « linux-modules-5.15.0-122-generic » n'est pas installé, et ne peut donc être supprimé
Vous pouvez lancer « apt --fix-broken install » pour corriger ces problèmes.
Les paquets suivants contiennent des dépendances non satisfaites :
 linux-headers-5.4.0-177-generic : Dépend: linux-headers-5.4.0-177 mais ne sera pas installé
 linux-headers-5.4.0-195-generic : Dépend: linux-headers-5.4.0-195 mais ne sera pas installé
 linux-image-generic : Dépend: linux-image-5.4.0-216-generic mais ne sera pas installé
 linux-modules-extra-5.4.0-216-generic : Dépend: linux-image-5.4.0-216-generic mais ne sera pas installé ou
                                                  linux-image-unsigned-5.4.0-216-generic mais ne sera pas installé
E: Dépendances non satisfaites. Essayez « apt --fix-broken install » sans paquet
   (ou indiquez une solution).
egiro@egiro-MS-7817:~$ ls /boot/
config-5.4.0-176-generic      System.map-5.4.0-176-generic
grub			      timeshift
initrd.img		      vmlinuz
initrd.img-5.4.0-176-generic  vmlinuz-5.4.0-176-generic
initrd.img.old		      vmlinuz.old
lost+found

[Puppet_Master]

Hyper space tu as les headers mais pas les generic, je ne sais ce que tu as fait pour en arriver là ...
Et comme pas de place sur /boot tu ne peux les réinstaller...


Essayer de te faire une clef live USB, puis avec gparted augmente la taille de taille. Pas franchement d'autres alternatives à ce point

Moi, je veux bien mais... c'est quoi une clef live USB ? Comment on augmente la taille avec gparted ?

[Puppet_Master]

Une clef comme celle qui t'a permis d'installer ton mint

Ce n'est pas moi qui ai fait l'installation... C'est un collègue que je ne vois plus depuis plusieurs années.

Puis dans systeme, gparted, tu trouves ta partition de boot et la redimansionnes (c'est graphique)

Je peux essayer ça sans la clef live USB ?

[Puppet_Master]

Merci, je vais essayer ça.
Je reviens dès que c'est fait... ou que j'ai un problème.
D'ailleurs, avant de démarrer, qu'est-ce que ça signifie :

Préalable, démonter la clé

Est-ce que je peux utiliser un disque dur externe à la place d'une clé USB

[Puppet_Master]

Question con mais je suis vraiment même pas au niveau d'un débutant alors si quelqu'un peut m'expliquer comment je fais ça :

Remplacer monFichier.iso par le nom de votre iso, bien sûr.

[Jennatux]

Par exemple avec la commande dd
sudo dd if=monFichier.iso of=/dev/sdX bs=4M status=progress && sudo sync

Remplacer monfichier.iso par le nom de l'iso que tu as téléchargé
ce qui donnerait ça pour LM xfce 22.1

Code : Tout sélectionner

sudo dd if=linuxmint-22.1-xfce-64bit.iso of=/dev/sdX bs=4M  status=progress && sudo sync

e dans la même ligne pour /dev/sdX remplacer le X par la lettre qui correspond celle de ta clé

Il faut faire très attention avec cette commande, tu te trompes de lettre et tu détruis une autre partition

je n'ai pas tout relu, je ne sais si ton Linux Mint démarre, si c'est le cas in, il y a dans le menu de Mint un utilitaire spécial pour cela

[Puppet_Master]

Donc mon iso, c'est ça : Linux Mint 20.3 Una ?

[Jennatux]

si c'est juste pour faire un live oui ça peut aller

si c'est pour installer, autant prendre la dernière version
https://www.linuxmint.com/download_all.php

[Puppet_Master]

si c'est juste pour faire un live oui ça peut aller

si c'est pour installer, autant prendre la dernière version
https://www.linuxmint.com/download_all.php

C'est pour une clé live USB, oui.

Que retourne

Code : Tout sélectionner

ls ~/Téléchargements/

Code : Tout sélectionner

egiro@egiro-MS-7817:~$ ls ~/Téléchargements/
 CREADOC_for_SCHOOL_installer.exe
'google-chrome-stable_current_amd64 (1).deb'
 google-chrome-stable_current_amd64.deb
 music_elements.zip
'OneDrive-2019-04-08 (1).zip'
 OneDrive-2019-04-08.zip
 Personnages-Retz_noir-et-blanc.zip
 PS2SaveConverter_0_030.zip
 PS2SaveConverter.exe
 rustdesk-1.3.1-x86_64.deb
 star_jedi.zip

[Jennatux]

Si tu n'as plus ton fichier iso , il faut le télécharger et ensuite, tu l'installes sur ta clé avec Créateur de clé USB