d'habitude il n'est pas conseillé de mélanger apt-get et aptitude (même le second est plus efficace)
avec apt-get je dirais
1 2 3
| apt-get clean
apt-get autoclean
apt-get autoremove jedit --purge |
histoire de tout nettoyer
si la dernière ne fonctionne pas, quel est l'état du paquet dans synaptic (je ne connais pas la commande apt-get pour ça)
puis après pour l'installation :
soit télécharger ici, je .jar (pas .deb) et
sudo java -jar jedit*.jar
soit ajouter le dépot "deb http://dl.sourceforge.net/sourceforge/jedit ./"
et installer le paquet via apt-get
Partager