Le vendredi 02 juin 2006 à 10:21 +0200, Jean-Claude Duponq a écrit : > sudo apt-get dist-upgrade Chez moi non plus le gksudo "update-manager -d" n'a rien donné. Du coup, un bon vieux sudo apt-get update puis sudo apt-get dist-upgrade et en avant ....