Pages : 1
#1 Le 25/05/2009, à 14:20
- Major Grubert
Maj de Kile
Je viens de voir qu'il y avait une nouvelle mise à jour de Kile parmi les mises à jour automatiques.
J'ai installé la version 2.0 et bloqué les mises à jour en attendant que Kile soit au point.
Quelqu'un sait si cette mise à jour règle les problèmes de la version de Kile proposée avec Jaunty (évoqués là par exemple : http://forum.ubuntu-fr.org/viewtopic.php?pid=2666014#p2666014 ).
Merci d'avance de me renseigner.
Pour en savoir plus sur Gnome Shell.
. HP Pavilion : Windows / Ubuntu 19.10
Hors ligne
#2 Le 26/05/2009, à 17:22
- playmobill
Re : Maj de Kile
Pas de mise à jour proposée de mon côté. Tu as activé le dépôt « proposed » ?
Passer à Linux n’est pas un défi, c’est juste un choix.
Hors ligne
#3 Le 27/05/2009, à 21:56
- Major Grubert
Re : Maj de Kile
Non, je ne crois pas.
En fait je pense que je suis idiot : comme j'ai installé la version 2.0, il me signale qu'il y a une plus récente (la 2.1) et ça doit être tout !
Pour en savoir plus sur Gnome Shell.
. HP Pavilion : Windows / Ubuntu 19.10
Hors ligne