Comment mettre =c3=a0 jour Libre Office dans Linux Mint 18.2 ou 18.3 =3f
106 réponses
Pierre www.zetrader.info
Je vois que malgré de nombreuses actualisations, mises à jour, Libre
Office reste en version 5.1.6.2 alors qu'on est à la version 5.4.3.
On fait comment pour mettre à jour / upgrader Libre Office vu que c'est
proposé nulle part dans Linux Mint ?
--
http://zetrader.info & http://zetrader.fr
http://pierre.aribaut.com - http://zeforums.com
Le Wed, 13 Dec 2017 14:23:53 +0100, Jean-Baptiste Faure a écrit :
Merci pour la réponse. C'est bien ce que j'ai mais Thunderbird me montre mes propres messages avec des lignes de plus de 72 caractères. Du coup comment savoir si la contrainte de mise en forme est bien respectée ?
Ton post est affiché parfaitement pour moi.
Le Wed, 13 Dec 2017 14:23:53 +0100, Jean-Baptiste Faure a écrit :
Merci pour la réponse. C'est bien ce que j'ai mais Thunderbird me montre
mes propres messages avec des lignes de plus de 72 caractères. Du coup
comment savoir si la contrainte de mise en forme est bien respectée ?
Le Wed, 13 Dec 2017 14:23:53 +0100, Jean-Baptiste Faure a écrit :
Merci pour la réponse. C'est bien ce que j'ai mais Thunderbird me montre mes propres messages avec des lignes de plus de 72 caractères. Du coup comment savoir si la contrainte de mise en forme est bien respectée ?
Ton post est affiché parfaitement pour moi.
pehache
Le 11/12/2017 à 20:48, Jerome Lambert a écrit :
Le 10/12/17 à 20:40, pehache a écrit :
Le 10/12/2017 à 10:43, Pierre www.zetrader.info a écrit :
(...)
Dans mon cas cela a plutôt updaté que upgradé, je suis toujours sous Linux Mint 18.2, cela ne m'a pas fait passer en Linux Mint 18.3 (et cela m'est toujours proposé dans le menu d'actualisation).
Donc dans Mint "apt-get upgrade" ne fait pas un upgrade ? C'est un peu n'importe quoi, dans ce cas.
Pas vraiment. Ne pas confondre "upgrade" et "dist-upgrade".
Je voulais dire "dist-upgrade" en effet, car c'est bien ce que le P.O. a dit avoir taper, sans que ça fasse changer la version de Mint.
Le 11/12/2017 à 20:48, Jerome Lambert a écrit :
Le 10/12/17 à 20:40, pehache a écrit :
Le 10/12/2017 à 10:43, Pierre www.zetrader.info a écrit :
(...)
Dans mon cas cela a plutôt updaté que upgradé, je suis toujours sous
Linux Mint 18.2, cela ne m'a pas fait passer en Linux Mint 18.3 (et
cela m'est toujours proposé dans le menu d'actualisation).
Donc dans Mint "apt-get upgrade" ne fait pas un upgrade ? C'est un peu
n'importe quoi, dans ce cas.
Pas vraiment. Ne pas confondre "upgrade" et "dist-upgrade".
Je voulais dire "dist-upgrade" en effet, car c'est bien ce que le P.O. a
dit avoir taper, sans que ça fasse changer la version de Mint.
Le 10/12/2017 à 10:43, Pierre www.zetrader.info a écrit :
(...)
Dans mon cas cela a plutôt updaté que upgradé, je suis toujours sous Linux Mint 18.2, cela ne m'a pas fait passer en Linux Mint 18.3 (et cela m'est toujours proposé dans le menu d'actualisation).
Donc dans Mint "apt-get upgrade" ne fait pas un upgrade ? C'est un peu n'importe quoi, dans ce cas.
Pas vraiment. Ne pas confondre "upgrade" et "dist-upgrade".
Je voulais dire "dist-upgrade" en effet, car c'est bien ce que le P.O. a dit avoir taper, sans que ça fasse changer la version de Mint.
Pierre www.zetrader.info
Le 14/12/2017 à 01:07, pehache a écrit :
Le 11/12/2017 à 20:48, Jerome Lambert a écrit :
Le 10/12/17 à 20:40, pehache a écrit :
Le 10/12/2017 à 10:43, Pierre www.zetrader.info a écrit :
(...)
Dans mon cas cela a plutôt updaté que upgradé, je suis toujours sous Linux Mint 18.2, cela ne m'a pas fait passer en Linux Mint 18.3 (et cela m'est toujours proposé dans le menu d'actualisation).
Donc dans Mint "apt-get upgrade" ne fait pas un upgrade ? C'est un peu n'importe quoi, dans ce cas.
Pas vraiment. Ne pas confondre "upgrade" et "dist-upgrade".
Je voulais dire "dist-upgrade" en effet, car c'est bien ce que le P.O. a dit avoir taper, sans que ça fasse changer la version de Mint.
J'ai pourtant bien "tapé" (plus exactement copié/collé) ces 2 lignes vues sur une page web expliquant comment mettre à jour Libre Office dans Linux Mint : 1) sudo add-apt-repository ppa:libreoffice/ppa 2) sudo apt-get update && sudo apt-get dist-upgrade Dans la mesure où je ne savais pas quoi taper (je l'ai cherché dans google), je ne peux pas avoir inventé le "dist-upgrade", ne connaissant pas cette commande avant qu'on en parle. Voici la page où j'avais trouvé les 2 lignes à taper : http://blogosquare.com/mettre-a-jour-la-suite-bureautique-libreoffice-sous-ubuntu-et-ses-derives/ Et je confirme que cela n'a pas changé ma version de Mint (je ne sais pas pourquoi), juste mis à jour des choses dans mon Linux Mint 18.2. -- http://zetrader.info & http://zetrader.fr http://pierre.aribaut.com - http://zeforums.com
Le 14/12/2017 à 01:07, pehache a écrit :
Le 11/12/2017 à 20:48, Jerome Lambert a écrit :
Le 10/12/17 à 20:40, pehache a écrit :
Le 10/12/2017 à 10:43, Pierre www.zetrader.info a écrit :
(...)
Dans mon cas cela a plutôt updaté que upgradé, je suis toujours sous
Linux Mint 18.2, cela ne m'a pas fait passer en Linux Mint 18.3 (et
cela m'est toujours proposé dans le menu d'actualisation).
Donc dans Mint "apt-get upgrade" ne fait pas un upgrade ? C'est un
peu n'importe quoi, dans ce cas.
Pas vraiment. Ne pas confondre "upgrade" et "dist-upgrade".
Je voulais dire "dist-upgrade" en effet, car c'est bien ce que le P.O. a
dit avoir taper, sans que ça fasse changer la version de Mint.
J'ai pourtant bien "tapé" (plus exactement copié/collé) ces 2 lignes
vues sur une page web expliquant comment mettre à jour Libre Office dans
Linux Mint :
Dans la mesure où je ne savais pas quoi taper (je l'ai cherché dans
google), je ne peux pas avoir inventé le "dist-upgrade", ne connaissant
pas cette commande avant qu'on en parle.
Voici la page où j'avais trouvé les 2 lignes à taper :
http://blogosquare.com/mettre-a-jour-la-suite-bureautique-libreoffice-sous-ubuntu-et-ses-derives/
Et je confirme que cela n'a pas changé ma version de Mint (je ne sais
pas pourquoi), juste mis à jour des choses dans mon Linux Mint 18.2.
--
http://zetrader.info & http://zetrader.fr
http://pierre.aribaut.com - http://zeforums.com
Le 10/12/2017 à 10:43, Pierre www.zetrader.info a écrit :
(...)
Dans mon cas cela a plutôt updaté que upgradé, je suis toujours sous Linux Mint 18.2, cela ne m'a pas fait passer en Linux Mint 18.3 (et cela m'est toujours proposé dans le menu d'actualisation).
Donc dans Mint "apt-get upgrade" ne fait pas un upgrade ? C'est un peu n'importe quoi, dans ce cas.
Pas vraiment. Ne pas confondre "upgrade" et "dist-upgrade".
Je voulais dire "dist-upgrade" en effet, car c'est bien ce que le P.O. a dit avoir taper, sans que ça fasse changer la version de Mint.
J'ai pourtant bien "tapé" (plus exactement copié/collé) ces 2 lignes vues sur une page web expliquant comment mettre à jour Libre Office dans Linux Mint : 1) sudo add-apt-repository ppa:libreoffice/ppa 2) sudo apt-get update && sudo apt-get dist-upgrade Dans la mesure où je ne savais pas quoi taper (je l'ai cherché dans google), je ne peux pas avoir inventé le "dist-upgrade", ne connaissant pas cette commande avant qu'on en parle. Voici la page où j'avais trouvé les 2 lignes à taper : http://blogosquare.com/mettre-a-jour-la-suite-bureautique-libreoffice-sous-ubuntu-et-ses-derives/ Et je confirme que cela n'a pas changé ma version de Mint (je ne sais pas pourquoi), juste mis à jour des choses dans mon Linux Mint 18.2. -- http://zetrader.info & http://zetrader.fr http://pierre.aribaut.com - http://zeforums.com
Jo Engo
Le Thu, 14 Dec 2017 01:07:07 +0100, pehache a écrit :
Pas vraiment. Ne pas confondre "upgrade" et "dist-upgrade".
dist-upgrade ne va changer la version du système que si et seulement si ces _deux_ conditions sont remplies : 1- Il existe une nouvelle version 2- Les dépôts déclarés dans /etc/apt/sources.list tiennent compte de cette nouvelle version.
Je voulais dire "dist-upgrade" en effet, car c'est bien ce que le P.O. a dit avoir taper, sans que ça fasse changer la version de Mint.
voir ci-dessus -- Infidèle : À New York, qui ne croit pas à la religion chrétienne. À Constantinople, qui y croit. -+- Ambrose Bierce -+-
Le Thu, 14 Dec 2017 01:07:07 +0100, pehache a écrit :
Pas vraiment. Ne pas confondre "upgrade" et "dist-upgrade".
dist-upgrade ne va changer la version du système que si et seulement si
ces _deux_ conditions sont remplies :
1- Il existe une nouvelle version
2- Les dépôts déclarés dans /etc/apt/sources.list tiennent compte de
cette nouvelle version.
Je voulais dire "dist-upgrade" en effet, car c'est bien ce que le P.O. a
dit avoir taper, sans que ça fasse changer la version de Mint.
voir ci-dessus
--
Infidèle : À New York, qui ne croit pas à la religion chrétienne. À
Constantinople, qui y croit.
-+- Ambrose Bierce -+-
Le Thu, 14 Dec 2017 01:07:07 +0100, pehache a écrit :
Pas vraiment. Ne pas confondre "upgrade" et "dist-upgrade".
dist-upgrade ne va changer la version du système que si et seulement si ces _deux_ conditions sont remplies : 1- Il existe une nouvelle version 2- Les dépôts déclarés dans /etc/apt/sources.list tiennent compte de cette nouvelle version.
Je voulais dire "dist-upgrade" en effet, car c'est bien ce que le P.O. a dit avoir taper, sans que ça fasse changer la version de Mint.
voir ci-dessus -- Infidèle : À New York, qui ne croit pas à la religion chrétienne. À Constantinople, qui y croit. -+- Ambrose Bierce -+-
pehache
Le 14/12/2017 à 23:01, Jo Engo a écrit :
Le Thu, 14 Dec 2017 01:07:07 +0100, pehache a écrit :
Pas vraiment. Ne pas confondre "upgrade" et "dist-upgrade".
dist-upgrade ne va changer la version du système que si et seulement si ces _deux_ conditions sont remplies : 1- Il existe une nouvelle version
C'est le cas ici
2- Les dépôts déclarés dans /etc/apt/sources.list tiennent compte de cette nouvelle version.
Peut-être, mais ce n'est pas à l'utilisateur de mettre à jour ce fichier.
Le 14/12/2017 à 23:01, Jo Engo a écrit :
Le Thu, 14 Dec 2017 01:07:07 +0100, pehache a écrit :
Pas vraiment. Ne pas confondre "upgrade" et "dist-upgrade".
dist-upgrade ne va changer la version du système que si et seulement si
ces _deux_ conditions sont remplies :
1- Il existe une nouvelle version
C'est le cas ici
2- Les dépôts déclarés dans /etc/apt/sources.list tiennent compte de
cette nouvelle version.
Peut-être, mais ce n'est pas à l'utilisateur de mettre à jour ce fichier.
Le Thu, 14 Dec 2017 01:07:07 +0100, pehache a écrit :
Pas vraiment. Ne pas confondre "upgrade" et "dist-upgrade".
dist-upgrade ne va changer la version du système que si et seulement si ces _deux_ conditions sont remplies : 1- Il existe une nouvelle version
C'est le cas ici
2- Les dépôts déclarés dans /etc/apt/sources.list tiennent compte de cette nouvelle version.
Peut-être, mais ce n'est pas à l'utilisateur de mettre à jour ce fichier.
Doug713705
Le 16-12-2017, pehache nous expliquait dans fr.comp.os.linux.configuration () :
Le 14/12/2017 à 23:01, Jo Engo a écrit :
Le Thu, 14 Dec 2017 01:07:07 +0100, pehache a écrit :
Pas vraiment. Ne pas confondre "upgrade" et "dist-upgrade".
dist-upgrade ne va changer la version du système que si et seulement si ces _deux_ conditions sont remplies : 1- Il existe une nouvelle version
C'est le cas ici
2- Les dépôts déclarés dans /etc/apt/sources.list tiennent compte de cette nouvelle version.
Peut-être, mais ce n'est pas à l'utilisateur de mettre à jour ce fichier.
Qui doit le faire alors ? -- Je ne connaîtrai rien de tes habitudes Il se peut même que tu sois décédée Mais j'demanderai ta main pour la couper -- H.F. Thiéfaine, L'ascenceur de 22H43
Le 16-12-2017, pehache nous expliquait dans
fr.comp.os.linux.configuration
(<f9loksF7rhrU1@mid.individual.net>) :
Le 14/12/2017 à 23:01, Jo Engo a écrit :
Le Thu, 14 Dec 2017 01:07:07 +0100, pehache a écrit :
Pas vraiment. Ne pas confondre "upgrade" et "dist-upgrade".
dist-upgrade ne va changer la version du système que si et seulement si
ces _deux_ conditions sont remplies :
1- Il existe une nouvelle version
C'est le cas ici
2- Les dépôts déclarés dans /etc/apt/sources.list tiennent compte de
cette nouvelle version.
Peut-être, mais ce n'est pas à l'utilisateur de mettre à jour ce fichier.
Qui doit le faire alors ?
--
Je ne connaîtrai rien de tes habitudes
Il se peut même que tu sois décédée
Mais j'demanderai ta main pour la couper
-- H.F. Thiéfaine, L'ascenceur de 22H43
Le 16-12-2017, pehache nous expliquait dans fr.comp.os.linux.configuration () :
Le 14/12/2017 à 23:01, Jo Engo a écrit :
Le Thu, 14 Dec 2017 01:07:07 +0100, pehache a écrit :
Pas vraiment. Ne pas confondre "upgrade" et "dist-upgrade".
dist-upgrade ne va changer la version du système que si et seulement si ces _deux_ conditions sont remplies : 1- Il existe une nouvelle version
C'est le cas ici
2- Les dépôts déclarés dans /etc/apt/sources.list tiennent compte de cette nouvelle version.
Peut-être, mais ce n'est pas à l'utilisateur de mettre à jour ce fichier.
Qui doit le faire alors ? -- Je ne connaîtrai rien de tes habitudes Il se peut même que tu sois décédée Mais j'demanderai ta main pour la couper -- H.F. Thiéfaine, L'ascenceur de 22H43
pehache
Le 17/12/2017 à 00:48, Doug713705 a écrit :
Le 16-12-2017, pehache nous expliquait dans fr.comp.os.linux.configuration () :
Le 14/12/2017 à 23:01, Jo Engo a écrit :
Le Thu, 14 Dec 2017 01:07:07 +0100, pehache a écrit :
Pas vraiment. Ne pas confondre "upgrade" et "dist-upgrade".
dist-upgrade ne va changer la version du système que si et seulement si ces _deux_ conditions sont remplies : 1- Il existe une nouvelle version
C'est le cas ici
2- Les dépôts déclarés dans /etc/apt/sources.list tiennent compte de cette nouvelle version.
Peut-être, mais ce n'est pas à l'utilisateur de mettre à jour ce fichier.
Qui doit le faire alors ?
Emmanuel Macron, non ? Plus sérieusement, j'imagine que les scripts qui vérifient régulièrement la disponibilité des nouvelles versions le font. En tous cas sur *unbuntu j'ai eu utilisé apt-get dist-upgrade pour faire le changement de version, et ça avait marché sans que j'ai à mettre manuellement à jour les dépôts avant ça.
Le 17/12/2017 à 00:48, Doug713705 a écrit :
Le 16-12-2017, pehache nous expliquait dans
fr.comp.os.linux.configuration
(<f9loksF7rhrU1@mid.individual.net>) :
Le 14/12/2017 à 23:01, Jo Engo a écrit :
Le Thu, 14 Dec 2017 01:07:07 +0100, pehache a écrit :
Pas vraiment. Ne pas confondre "upgrade" et "dist-upgrade".
dist-upgrade ne va changer la version du système que si et seulement si
ces _deux_ conditions sont remplies :
1- Il existe une nouvelle version
C'est le cas ici
2- Les dépôts déclarés dans /etc/apt/sources.list tiennent compte de
cette nouvelle version.
Peut-être, mais ce n'est pas à l'utilisateur de mettre à jour ce fichier.
Qui doit le faire alors ?
Emmanuel Macron, non ?
Plus sérieusement, j'imagine que les scripts qui vérifient régulièrement
la disponibilité des nouvelles versions le font.
En tous cas sur *unbuntu j'ai eu utilisé apt-get dist-upgrade pour faire
le changement de version, et ça avait marché sans que j'ai à mettre
manuellement à jour les dépôts avant ça.
Le 16-12-2017, pehache nous expliquait dans fr.comp.os.linux.configuration () :
Le 14/12/2017 à 23:01, Jo Engo a écrit :
Le Thu, 14 Dec 2017 01:07:07 +0100, pehache a écrit :
Pas vraiment. Ne pas confondre "upgrade" et "dist-upgrade".
dist-upgrade ne va changer la version du système que si et seulement si ces _deux_ conditions sont remplies : 1- Il existe une nouvelle version
C'est le cas ici
2- Les dépôts déclarés dans /etc/apt/sources.list tiennent compte de cette nouvelle version.
Peut-être, mais ce n'est pas à l'utilisateur de mettre à jour ce fichier.
Qui doit le faire alors ?
Emmanuel Macron, non ? Plus sérieusement, j'imagine que les scripts qui vérifient régulièrement la disponibilité des nouvelles versions le font. En tous cas sur *unbuntu j'ai eu utilisé apt-get dist-upgrade pour faire le changement de version, et ça avait marché sans que j'ai à mettre manuellement à jour les dépôts avant ça.
Doug713705
Le 17-12-2017, pehache nous expliquait dans fr.comp.os.linux.configuration () :
Le 17/12/2017 à 00:48, Doug713705 a écrit :
Le 16-12-2017, pehache nous expliquait dans fr.comp.os.linux.configuration () :
Le 14/12/2017 à 23:01, Jo Engo a écrit :
Le Thu, 14 Dec 2017 01:07:07 +0100, pehache a écrit :
Pas vraiment. Ne pas confondre "upgrade" et "dist-upgrade".
dist-upgrade ne va changer la version du système que si et seulement si ces _deux_ conditions sont remplies : 1- Il existe une nouvelle version
C'est le cas ici
2- Les dépôts déclarés dans /etc/apt/sources.list tiennent compte de cette nouvelle version.
Peut-être, mais ce n'est pas à l'utilisateur de mettre à jour ce fichier.
Qui doit le faire alors ?
Emmanuel Macron, non ?
Sacré Manu, toujours prêt à se faire mousser.
Plus sérieusement, j'imagine que les scripts qui vérifient régulièrement la disponibilité des nouvelles versions le font. En tous cas sur *unbuntu j'ai eu utilisé apt-get dist-upgrade pour faire le changement de version, et ça avait marché sans que j'ai à mettre manuellement à jour les dépôts avant ça.
Ok, je ne suis pas spécialiste ni de apt ni de Debian mais il me semble que pour cette dernière il faut explicitement modifier le sources.list pour pouvoir passer d'une version à la suivante. Ubuntu semble s'être affranchie de ce point. -- Je ne connaîtrai rien de tes habitudes Il se peut même que tu sois décédée Mais j'demanderai ta main pour la couper -- H.F. Thiéfaine, L'ascenceur de 22H43
Le 17-12-2017, pehache nous expliquait dans
fr.comp.os.linux.configuration
(<f9lrhdF8ds3U1@mid.individual.net>) :
Le 17/12/2017 à 00:48, Doug713705 a écrit :
Le 16-12-2017, pehache nous expliquait dans
fr.comp.os.linux.configuration
(<f9loksF7rhrU1@mid.individual.net>) :
Le 14/12/2017 à 23:01, Jo Engo a écrit :
Le Thu, 14 Dec 2017 01:07:07 +0100, pehache a écrit :
Pas vraiment. Ne pas confondre "upgrade" et "dist-upgrade".
dist-upgrade ne va changer la version du système que si et seulement si
ces _deux_ conditions sont remplies :
1- Il existe une nouvelle version
C'est le cas ici
2- Les dépôts déclarés dans /etc/apt/sources.list tiennent compte de
cette nouvelle version.
Peut-être, mais ce n'est pas à l'utilisateur de mettre à jour ce fichier.
Qui doit le faire alors ?
Emmanuel Macron, non ?
Sacré Manu, toujours prêt à se faire mousser.
Plus sérieusement, j'imagine que les scripts qui vérifient régulièrement
la disponibilité des nouvelles versions le font.
En tous cas sur *unbuntu j'ai eu utilisé apt-get dist-upgrade pour faire
le changement de version, et ça avait marché sans que j'ai à mettre
manuellement à jour les dépôts avant ça.
Ok, je ne suis pas spécialiste ni de apt ni de Debian mais il me semble
que pour cette dernière il faut explicitement modifier le sources.list
pour pouvoir passer d'une version à la suivante.
Ubuntu semble s'être affranchie de ce point.
--
Je ne connaîtrai rien de tes habitudes
Il se peut même que tu sois décédée
Mais j'demanderai ta main pour la couper
-- H.F. Thiéfaine, L'ascenceur de 22H43
Le 17-12-2017, pehache nous expliquait dans fr.comp.os.linux.configuration () :
Le 17/12/2017 à 00:48, Doug713705 a écrit :
Le 16-12-2017, pehache nous expliquait dans fr.comp.os.linux.configuration () :
Le 14/12/2017 à 23:01, Jo Engo a écrit :
Le Thu, 14 Dec 2017 01:07:07 +0100, pehache a écrit :
Pas vraiment. Ne pas confondre "upgrade" et "dist-upgrade".
dist-upgrade ne va changer la version du système que si et seulement si ces _deux_ conditions sont remplies : 1- Il existe une nouvelle version
C'est le cas ici
2- Les dépôts déclarés dans /etc/apt/sources.list tiennent compte de cette nouvelle version.
Peut-être, mais ce n'est pas à l'utilisateur de mettre à jour ce fichier.
Qui doit le faire alors ?
Emmanuel Macron, non ?
Sacré Manu, toujours prêt à se faire mousser.
Plus sérieusement, j'imagine que les scripts qui vérifient régulièrement la disponibilité des nouvelles versions le font. En tous cas sur *unbuntu j'ai eu utilisé apt-get dist-upgrade pour faire le changement de version, et ça avait marché sans que j'ai à mettre manuellement à jour les dépôts avant ça.
Ok, je ne suis pas spécialiste ni de apt ni de Debian mais il me semble que pour cette dernière il faut explicitement modifier le sources.list pour pouvoir passer d'une version à la suivante. Ubuntu semble s'être affranchie de ce point. -- Je ne connaîtrai rien de tes habitudes Il se peut même que tu sois décédée Mais j'demanderai ta main pour la couper -- H.F. Thiéfaine, L'ascenceur de 22H43
Doug713705
Le 17-12-2017, pehache nous expliquait dans fr.comp.os.linux.configuration () :
Le 17/12/2017 à 00:48, Doug713705 a écrit :
Le 16-12-2017, pehache nous expliquait dans fr.comp.os.linux.configuration () :
Le 14/12/2017 à 23:01, Jo Engo a écrit :
Le Thu, 14 Dec 2017 01:07:07 +0100, pehache a écrit :
Pas vraiment. Ne pas confondre "upgrade" et "dist-upgrade".
dist-upgrade ne va changer la version du système que si et seulement si ces _deux_ conditions sont remplies : 1- Il existe une nouvelle version
C'est le cas ici
2- Les dépôts déclarés dans /etc/apt/sources.list tiennent compte de cette nouvelle version.
Peut-être, mais ce n'est pas à l'utilisateur de mettre à jour ce fichier.
Qui doit le faire alors ?
Emmanuel Macron, non ?
Sacré Manu, toujours prêt à se faire mousser.
Plus sérieusement, j'imagine que les scripts qui vérifient régulièrement la disponibilité des nouvelles versions le font. En tous cas sur *unbuntu j'ai eu utilisé apt-get dist-upgrade pour faire le changement de version, et ça avait marché sans que j'ai à mettre manuellement à jour les dépôts avant ça.
Ok, je ne suis spécialiste ni de apt ni de Debian mais il me semble que pour cette dernière il faut explicitement modifier le sources.list pour pouvoir passer d'une version à la suivante. Ubuntu semble s'être affranchie de ce point. -- Je ne connaîtrai rien de tes habitudes Il se peut même que tu sois décédée Mais j'demanderai ta main pour la couper -- H.F. Thiéfaine, L'ascenceur de 22H43
Le 17-12-2017, pehache nous expliquait dans
fr.comp.os.linux.configuration
(<f9lrhdF8ds3U1@mid.individual.net>) :
Le 17/12/2017 à 00:48, Doug713705 a écrit :
Le 16-12-2017, pehache nous expliquait dans
fr.comp.os.linux.configuration
(<f9loksF7rhrU1@mid.individual.net>) :
Le 14/12/2017 à 23:01, Jo Engo a écrit :
Le Thu, 14 Dec 2017 01:07:07 +0100, pehache a écrit :
Pas vraiment. Ne pas confondre "upgrade" et "dist-upgrade".
dist-upgrade ne va changer la version du système que si et seulement si
ces _deux_ conditions sont remplies :
1- Il existe une nouvelle version
C'est le cas ici
2- Les dépôts déclarés dans /etc/apt/sources.list tiennent compte de
cette nouvelle version.
Peut-être, mais ce n'est pas à l'utilisateur de mettre à jour ce fichier.
Qui doit le faire alors ?
Emmanuel Macron, non ?
Sacré Manu, toujours prêt à se faire mousser.
Plus sérieusement, j'imagine que les scripts qui vérifient régulièrement
la disponibilité des nouvelles versions le font.
En tous cas sur *unbuntu j'ai eu utilisé apt-get dist-upgrade pour faire
le changement de version, et ça avait marché sans que j'ai à mettre
manuellement à jour les dépôts avant ça.
Ok, je ne suis spécialiste ni de apt ni de Debian mais il me semble
que pour cette dernière il faut explicitement modifier le sources.list
pour pouvoir passer d'une version à la suivante.
Ubuntu semble s'être affranchie de ce point.
--
Je ne connaîtrai rien de tes habitudes
Il se peut même que tu sois décédée
Mais j'demanderai ta main pour la couper
-- H.F. Thiéfaine, L'ascenceur de 22H43
Le 17-12-2017, pehache nous expliquait dans fr.comp.os.linux.configuration () :
Le 17/12/2017 à 00:48, Doug713705 a écrit :
Le 16-12-2017, pehache nous expliquait dans fr.comp.os.linux.configuration () :
Le 14/12/2017 à 23:01, Jo Engo a écrit :
Le Thu, 14 Dec 2017 01:07:07 +0100, pehache a écrit :
Pas vraiment. Ne pas confondre "upgrade" et "dist-upgrade".
dist-upgrade ne va changer la version du système que si et seulement si ces _deux_ conditions sont remplies : 1- Il existe une nouvelle version
C'est le cas ici
2- Les dépôts déclarés dans /etc/apt/sources.list tiennent compte de cette nouvelle version.
Peut-être, mais ce n'est pas à l'utilisateur de mettre à jour ce fichier.
Qui doit le faire alors ?
Emmanuel Macron, non ?
Sacré Manu, toujours prêt à se faire mousser.
Plus sérieusement, j'imagine que les scripts qui vérifient régulièrement la disponibilité des nouvelles versions le font. En tous cas sur *unbuntu j'ai eu utilisé apt-get dist-upgrade pour faire le changement de version, et ça avait marché sans que j'ai à mettre manuellement à jour les dépôts avant ça.
Ok, je ne suis spécialiste ni de apt ni de Debian mais il me semble que pour cette dernière il faut explicitement modifier le sources.list pour pouvoir passer d'une version à la suivante. Ubuntu semble s'être affranchie de ce point. -- Je ne connaîtrai rien de tes habitudes Il se peut même que tu sois décédée Mais j'demanderai ta main pour la couper -- H.F. Thiéfaine, L'ascenceur de 22H43
Jo Engo
Le Sun, 17 Dec 2017 00:30:36 +0100, pehache a écrit :
1- Il existe une nouvelle version
C'est le cas ici
2- Les dépôts déclarés dans /etc/apt/sources.list tiennent compte de cette nouvelle version.
Peut-être, mais ce n'est pas à l'utilisateur de mettre à jour ce fichier.
Pourquoi pas ? En tout cas c'est à lui (l'utilisateur) de demander au système de le faire s'il ne le fait pas manuellement, et ce n'est pas en tapant "aptitude dist-upgrade" qu'on le fait, ce n'est pas le but de cette commande. En fait "aptitude dist-upgrade" n'est utile (arêtez moi si je me trompe) que quand il y a une «rolling release» auquel cas la liste des dépôts ne change pas lors du changement de version (typiquement debian stable (respectivement testing) avec les dépôts déclaré ainsi.) -- 13:36 , il fait super beau, et la mer est calme. je vais me baigner
Le Sun, 17 Dec 2017 00:30:36 +0100, pehache a écrit :
1- Il existe une nouvelle version
C'est le cas ici
2- Les dépôts déclarés dans /etc/apt/sources.list tiennent compte de
cette nouvelle version.
Peut-être, mais ce n'est pas à l'utilisateur de mettre à jour ce
fichier.
Pourquoi pas ? En tout cas c'est à lui (l'utilisateur) de demander au
système de le faire s'il ne le fait pas manuellement, et ce n'est pas en
tapant "aptitude dist-upgrade" qu'on le fait, ce n'est pas le but de
cette commande.
En fait "aptitude dist-upgrade" n'est utile (arêtez moi si je me trompe)
que quand il y a une «rolling release» auquel cas la liste des dépôts ne
change pas lors du changement de version (typiquement debian stable
(respectivement testing) avec les dépôts déclaré ainsi.)
--
13:36 meteo@paris, il fait super beau, et la mer est calme. je vais me
baigner
Le Sun, 17 Dec 2017 00:30:36 +0100, pehache a écrit :
1- Il existe une nouvelle version
C'est le cas ici
2- Les dépôts déclarés dans /etc/apt/sources.list tiennent compte de cette nouvelle version.
Peut-être, mais ce n'est pas à l'utilisateur de mettre à jour ce fichier.
Pourquoi pas ? En tout cas c'est à lui (l'utilisateur) de demander au système de le faire s'il ne le fait pas manuellement, et ce n'est pas en tapant "aptitude dist-upgrade" qu'on le fait, ce n'est pas le but de cette commande. En fait "aptitude dist-upgrade" n'est utile (arêtez moi si je me trompe) que quand il y a une «rolling release» auquel cas la liste des dépôts ne change pas lors du changement de version (typiquement debian stable (respectivement testing) avec les dépôts déclaré ainsi.) -- 13:36 , il fait super beau, et la mer est calme. je vais me baigner
