Re: erreur de mise à jour pour jessie
Le 28/03/19 à 12:15, Gabriel Moreau a écrit : > > Ils ont migrés sur archive.debian.org (mais > > http://archive.debian.org/debian/dists/jessie-backports/InRelease a > > expiré, je sais pas s'il est dispo ailleurs) > > On peut mettre dans /etc/apt/apt.conf.d/90pref > > Acquire::Check-Valid-Until "0"; > > Tu coup, apt ne tiens pas compte du InRelease qui a expiré. Et ça me semble pas très prudent, je préfère me passer de backports (qui de toute façon n'évoluera plus sur ces archives, ce qui peut poser pb en cas d'un bug de sécurité de la version de jessie-backports car il ne sera corrigé que pour la version de jessie donc jamais fixé si on a installé le paquet de jessie-backports). Moralité, si y'a des paquets de backports installés sur une jessie, faudrait voir à revenir à ceux de jessie ou bien migrer vers stretch. > PS : mais ça fait pas super pro cette migration avec pas de nouvelle sur > le site Debian... Oui, je sais pas pourquoi y'a pas eu de post sur debian-annou...@lists.debian.org -- Daniel Descartes, né pour découvrir les erreurs de l'Antiquité, mais pour y substituer les siennes. Voltaire
Re: erreur de mise à jour pour jessie
Le 29/03/19 à 11:13, Francois Meyer a écrit : > > On peut mettre dans /etc/apt/apt.conf.d/90pref > > > > Acquire::Check-Valid-Until "0"; > > > > Tu coup, apt ne tiens pas compte du InRelease qui a expiré. > OK, merci. Mais du coup, tout s'installe sans vérification des sommes de > contrôle ? Non, ça s'installe sans vérifier l'expiration du fichier release, c'est ≠, mais ça me semble quand même à déconseiller. -- Daniel Ce n'est pas parce que je suis paranoïaque qu'on ne m'en veut pas.
Re: erreur de mise à jour pour jessie
Wed, 3 Apr 2019 10:07:51 +0200 Daniel Caillibaud écrivait : > Oui, je sais pas pourquoi y'a pas eu de post sur > debian-annou...@lists.debian.org https://lists.debian.org/debian-backports-announce/2018/07/msg0.html > -- > Daniel Jean-Marc https://6jf.be/keys/ED863AD1.txt pgpYm3SGwuZY1.pgp Description: PGP signature
mais ou est passee la place manquante ?
Salut a tous. Je suis en train d'installer debian sur un ordi qui avait précedamment windows 7. Avant d'installer j'ai fait un tour dans windows pour voir les données que j'allais devoir récupérér. Il y avait une partition C: avec le système et quelques données, sur laquelle il restait 5 Go de libre. Le système prenant environ 50 Go, je me suis dit que j'allais gagner de la place. Il y avait aussi une partition D: pleine de données raz la gueule. J'ai installé en faisant une swap de 4 Go, une partition root de 20 Go et une partition /home a laquelle j'ai donné tout le reste de la place. Bilan : 5 Go de libre + 50 Go de windows - 4 Go de swap - 20 Go de debian, je pensais qu'une fois le /home rempli toutes les donnés il y resterait une trentaine de Go de libre. Et c'est bien ce que me dit gparted : /dev/sda3 ext4 /home taille 572,11 Gio utilisé 541,36 Gio inutilisé 30,75 Gio Par contre j'ai des messages d'alerte "attention la partition /home n'a plus que 2,2 Go d'espace libre" et c'est aussi ce que me dit df -h : /dev/sda3 ext4 taille 563G utilisé 532G dispo 2,2G 100% /home Du coup je comprend pas ou sont passés les 28 Go manquants. Ca fait raler que les memes donnés prennent plus de place sur du ext4 que sur du ntfs… Merci donc pour vos lumières.
Re: mais ou est passee la place manquante ?
- Mail original - > De: "hamster" > À: debian-user-french@lists.debian.org > Envoyé: Mercredi 3 Avril 2019 16:11:03 > Objet: mais ou est passee la place manquante ? > > Salut a tous. > > Je suis en train d'installer debian sur un ordi qui avait > précedamment > windows 7. Avant d'installer j'ai fait un tour dans windows pour voir > les données que j'allais devoir récupérér. Il y avait une partition > C: > avec le système et quelques données, sur laquelle il restait 5 Go de > libre. Le système prenant environ 50 Go, je me suis dit que j'allais > gagner de la place. Il y avait aussi une partition D: pleine de > données > raz la gueule. > > J'ai installé en faisant une swap de 4 Go, une partition root de 20 > Go > et une partition /home a laquelle j'ai donné tout le reste de la > place. > > Bilan : 5 Go de libre + 50 Go de windows - 4 Go de swap - 20 Go de > debian, je pensais qu'une fois le /home rempli toutes les donnés il y > resterait une trentaine de Go de libre. > > Et c'est bien ce que me dit gparted : > /dev/sda3 ext4 /home taille 572,11 Gio utilisé 541,36 Gio inutilisé > 30,75 Gio > > Par contre j'ai des messages d'alerte "attention la partition /home > n'a > plus que 2,2 Go d'espace libre" et c'est aussi ce que me dit df -h : > /dev/sda3 ext4 taille 563G utilisé 532G dispo 2,2G 100% /home > > Du coup je comprend pas ou sont passés les 28 Go manquants. Ca fait > raler que les memes donnés prennent plus de place sur du ext4 que sur > du > ntfs… > > Merci donc pour vos lumières. bonjour, serait il possible de vérifier les inodes ? documentation : http://www.icaunux.org/forum/viewtopic.php?id=713 merci slt bernard
Re: mais ou est passee la place manquante ?
Le mer. 3 avr. 2019 à 16:16, Bernard Schoenacker < bernard.schoenac...@free.fr> a écrit : > > > - Mail original - > > De: "hamster" > > À: debian-user-french@lists.debian.org > > Envoyé: Mercredi 3 Avril 2019 16:11:03 > > Objet: mais ou est passee la place manquante ? > > > > Salut a tous. > > > > Je suis en train d'installer debian sur un ordi qui avait > > précedamment > > windows 7. Avant d'installer j'ai fait un tour dans windows pour voir > > les données que j'allais devoir récupérér. Il y avait une partition > > C: > > avec le système et quelques données, sur laquelle il restait 5 Go de > > libre. Le système prenant environ 50 Go, je me suis dit que j'allais > > gagner de la place. Il y avait aussi une partition D: pleine de > > données > > raz la gueule. > > > > J'ai installé en faisant une swap de 4 Go, une partition root de 20 > > Go > > et une partition /home a laquelle j'ai donné tout le reste de la > > place. > > > > Bilan : 5 Go de libre + 50 Go de windows - 4 Go de swap - 20 Go de > > debian, je pensais qu'une fois le /home rempli toutes les donnés il y > > resterait une trentaine de Go de libre. > > > > Et c'est bien ce que me dit gparted : > > /dev/sda3 ext4 /home taille 572,11 Gio utilisé 541,36 Gio inutilisé > > 30,75 Gio > > > > Par contre j'ai des messages d'alerte "attention la partition /home > > n'a > > plus que 2,2 Go d'espace libre" et c'est aussi ce que me dit df -h : > > /dev/sda3 ext4 taille 563G utilisé 532G dispo 2,2G 100% /home > > > > Du coup je comprend pas ou sont passés les 28 Go manquants. Ca fait > > raler que les memes donnés prennent plus de place sur du ext4 que sur > > du > > ntfs… > > > > Merci donc pour vos lumières. > > > bonjour, > > serait il possible de vérifier les inodes ? > > documentation : > > http://www.icaunux.org/forum/viewtopic.php?id=713 > > Les deux outils parlent visiblement en volume, donc ça ne me semble pas pointer vers les inodes. N'y a t'il pas de l'espace réservé à root ? > merci > slt > bernard > > Cordialement __ Éric Dégenètais Henix http://www.henix.com http://www.squashtest.org
Re: mais ou est passee la place manquante ?
Le 03/04/2019 à 16:16, Bernard Schoenacker a écrit : > > - Mail original - >> De: "hamster" >> À: debian-user-french@lists.debian.org >> Envoyé: Mercredi 3 Avril 2019 16:11:03 >> Objet: mais ou est passee la place manquante ? >> >> Salut a tous. >> >> Je suis en train d'installer debian sur un ordi qui avait >> précedamment >> windows 7. Avant d'installer j'ai fait un tour dans windows pour voir >> les données que j'allais devoir récupérér. Il y avait une partition >> C: >> avec le système et quelques données, sur laquelle il restait 5 Go de >> libre. Le système prenant environ 50 Go, je me suis dit que j'allais >> gagner de la place. Il y avait aussi une partition D: pleine de >> données >> raz la gueule. >> >> J'ai installé en faisant une swap de 4 Go, une partition root de 20 >> Go >> et une partition /home a laquelle j'ai donné tout le reste de la >> place. >> >> Bilan : 5 Go de libre + 50 Go de windows - 4 Go de swap - 20 Go de >> debian, je pensais qu'une fois le /home rempli toutes les donnés il y >> resterait une trentaine de Go de libre. >> >> Et c'est bien ce que me dit gparted : >> /dev/sda3 ext4 /home taille 572,11 Gio utilisé 541,36 Gio inutilisé >> 30,75 Gio >> >> Par contre j'ai des messages d'alerte "attention la partition /home >> n'a >> plus que 2,2 Go d'espace libre" et c'est aussi ce que me dit df -h : >> /dev/sda3 ext4 taille 563G utilisé 532G dispo 2,2G 100% /home >> >> Du coup je comprend pas ou sont passés les 28 Go manquants. Ca fait >> raler que les memes donnés prennent plus de place sur du ext4 que sur >> du >> ntfs… >> >> Merci donc pour vos lumières. > > bonjour, > > serait il possible de vérifier les inodes ? dh -hi /dev/sda3 ext4 Inoeuds 36M Iutil. 109K Ilibre 36M 1% /home
Re: mais ou est passee la place manquante ?
Le 03/04/2019 à 17:44, Eric Degenetais a écrit : > > J'ai installé en faisant une swap de 4 Go, une partition root de 20 > > Go > > et une partition /home a laquelle j'ai donné tout le reste de la > > place. > > > > Bilan : 5 Go de libre + 50 Go de windows - 4 Go de swap - 20 Go de > > debian, je pensais qu'une fois le /home rempli toutes les donnés il y > > resterait une trentaine de Go de libre. > > N'y a t'il pas de l'espace réservé à root ? comme dit plus haut, il y a une partoche root de 20 Go.
Re: mais ou est passee la place manquante ?
On Wednesday 03 April 2019 18:20:58 hamster wrote: > dh -hi > /dev/sda3 ext4 Inoeuds 36M Iutil. 109K Ilibre 36M 1% /home dh -hi dh: cannot read debian/control: No such file or directory
Re: mais ou est passee la place manquante ?
Le 03/04/2019 à 18:49, ajh-valmer a écrit : > On Wednesday 03 April 2019 18:20:58 hamster wrote: >> dh -hi >> /dev/sda3 ext4 Inoeuds 36M Iutil. 109K Ilibre 36M 1% /home > dh -hi > dh: cannot read debian/control: No such file or directory Bah oui, faute de frappe. C'etait bien sur df -hi. Mon doigt a glissé et comme le h est juste a coté du f c'est lui qui a pris.
Re: mais ou est passee la place manquante ?
On Wednesday 03 April 2019 18:58:30 hamster wrote: > >> dh -hi > >> /dev/sda3 ext4 Inoeuds 36M Iutil. 109K Ilibre 36M 1% /home > > dh -hi > > dh: cannot read debian/control: No such file or directory > Bah oui, faute de frappe. C'etait bien sur df -hi. > Mon doigt a glissé et comme le h est juste a coté du f c'est lui qui a pris. Pas grave, je voulais m'instruire sur une nouvelle commande. "dh" existe, mais ça a l'air compliqué : dh - Automate de commandes debhelper = commande pour Debian. Taper dh et auto-complétion...
Re: mais ou est passee la place manquante ?
Le mer. 3 avr. 2019 18:23, hamster a écrit : > Le 03/04/2019 à 17:44, Eric Degenetais a écrit : > > > J'ai installé en faisant une swap de 4 Go, une partition root de 20 > > > Go > > > et une partition /home a laquelle j'ai donné tout le reste de la > > > place. > > > > > > Bilan : 5 Go de libre + 50 Go de windows - 4 Go de swap - 20 Go de > > > debian, je pensais qu'une fois le /home rempli toutes les donnés > il y > > > resterait une trentaine de Go de libre. > > > > N'y a t'il pas de l'espace réservé à root ? > > comme dit plus haut, il y a une partoche root de 20 Go. > Je parlais d'espace réservé au *compte* root. J'avais cru comprendre qu'une partie de l'espace sur chaque partition est réservé à root pour qu'il puisse travailler même sur une partition saturée. J'ai pu mal comprendre... Éric Dégenètais
Re: mais ou est passee la place manquante ?
Le 03/04/2019 à 19:44, Eric Degenetais a écrit : Je parlais d'espace réservé au *compte* root. J'avais cru comprendre qu'une partie de l'espace sur chaque partition est réservé à root pour qu'il puisse travailler même sur une partition saturée. J'ai pu mal comprendre... Non, tu as bien compris. Par défaut un système de fichiers ext* réserve 5% de l'espace à son utilisateur créateur, c'est-à-dire root la plupart du temps. Concrètement, cela signifie que quand l'espace utilisé atteint 95%, les autres utilisateurs ne peuvent plus allouer d'espace. La subtilité est que la quantité d'espace libre rapportée en tient compte. /dev/sda3 ext4 taille 563G utilisé 532G dispo 2,2G 100% /home 5% de 563 Go, ça fait 28 Go. 563 - 532 - 2 = 29 Go on retombe à peu près sur nos pattes. Si on considère qu'une telle réservation n'a pas lieu d'être pour /home (ce qui est une position parfaitement valable puisque root n'est pas censé avoir besoin d'écrire dans /home), alors on peut la modifier avec tune2fs.
Re: mais ou est passee la place manquante ?
Oui oui il y a 5% réservé à l’utilisateur root sur chaque partition. > Le 3 avr. 2019 à 19:44, Eric Degenetais a écrit : > > Le mer. 3 avr. 2019 18:23, hamster a écrit : >> Le 03/04/2019 à 17:44, Eric Degenetais a écrit : >> > > J'ai installé en faisant une swap de 4 Go, une partition root de 20 >> > > Go >> > > et une partition /home a laquelle j'ai donné tout le reste de la >> > > place. >> > > >> > > Bilan : 5 Go de libre + 50 Go de windows - 4 Go de swap - 20 Go de >> > > debian, je pensais qu'une fois le /home rempli toutes les donnés il y >> > > resterait une trentaine de Go de libre. >> > >> > N'y a t'il pas de l'espace réservé à root ? >> >> comme dit plus haut, il y a une partoche root de 20 Go. > > > Je parlais d'espace réservé au *compte* root. J'avais cru comprendre qu'une > partie de l'espace sur chaque partition est réservé à root pour qu'il puisse > travailler même sur une partition saturée. J'ai pu mal comprendre... > > Éric Dégenètais
Re: erreur de mise à jour pour jessie
Le 03/04/19 à 13:16, Jean-Marc a écrit : > > Oui, je sais pas pourquoi y'a pas eu de post sur > > debian-annou...@lists.debian.org > > https://lists.debian.org/debian-backports-announce/2018/07/msg0.html Ok, je connaissais pas cette liste et vais m'y abonner, mais pour la migration vers archive de jessie je continue de trouver que ça méritait un post sur debian-announce, comme c'est le cas d'habitude il me semble (plein d'utilisateurs debian sont inscrits à debian-announce ou security-announce mais pas aux listes user ou dev). -- Daniel À force d'aller au fond des choses, on y reste. Jean Cocteau pgpACR50TGqXC.pgp Description: Signature digitale OpenPGP
Re: erreur de mise à jour pour jessie
Wed, 3 Apr 2019 20:50:10 +0200 Daniel Caillibaud écrivait : > Le 03/04/19 à 13:16, Jean-Marc a écrit : > > https://lists.debian.org/debian-backports-announce/2018/07/msg0.html > > Ok, je connaissais pas cette liste et vais m'y abonner, mais pour la > migration vers archive de jessie je continue de trouver que ça méritait un > post sur debian-announce, comme c'est le cas d'habitude il me semble (plein > d'utilisateurs debian sont inscrits à debian-announce ou security-announce > mais pas aux listes user ou dev). Je suis d'accord avec toi. Vu le nombre d'annonces spécifiques aux backports, je ne comprends pas trop le pourquoi de cette liste séparée. Les annonces pourraient très bien se faire sur debian-announce. Idem pour les annonces de sécurité qui pourraient simplement être tagguées [BSA] à la place de [DSA]. > -- > Daniel Jean-Marc https://6jf.be/keys/ED863AD1.txt pgpRDai7sAYsD.pgp Description: PGP signature
Re: mais ou est passee la place manquante ?
Le 03/04/2019 à 19:57, Pascal Hambourg a écrit : > Le 03/04/2019 à 19:44, Eric Degenetais a écrit : >> >> Je parlais d'espace réservé au *compte* root. J'avais cru comprendre >> qu'une >> partie de l'espace sur chaque partition est réservé à root pour qu'il >> puisse travailler même sur une partition saturée. J'ai pu mal >> comprendre... > > Non, tu as bien compris. Par défaut un système de fichiers ext* > réserve 5% de l'espace à son utilisateur créateur, c'est-à-dire root > la plupart du temps. Concrètement, cela signifie que quand l'espace > utilisé atteint 95%, les autres utilisateurs ne peuvent plus allouer > d'espace. > > La subtilité est que la quantité d'espace libre rapportée en tient compte. Ce qui est pas plus mal vu que c'est de la place qui n'est pas disponible pour les simples utilisateurs. > /dev/sda3 ext4 taille 563G utilisé 532G dispo 2,2G 100% /home > > 5% de 563 Go, ça fait 28 Go. > 563 - 532 - 2 = 29 Go on retombe à peu près sur nos pattes. > > Si on considère qu'une telle réservation n'a pas lieu d'être pour > /home (ce qui est une position parfaitement valable puisque root n'est > pas censé avoir besoin d'écrire dans /home), alors on peut la modifier > avec tune2fs. Waouh, c'est bien ca. Merci beaucoup. Dorénavant je mettrai systématiquement un coup de tune2fs -m 0 /dev/sdax sur la partoche /home.