[Résolu] Installation du gestionnaire de logiciels (Mintinstall) impossible?

[Jieldé]

Bonsoir à tous,
Je viens d'installer en dual boot Mint 18.3 et W7 sur mon portable. Après quelques heures de fonctionnement et de personnalisation, le gestionnaire de logiciels ne répondait plus en direct (mais fonctionnait via la console). J'ai vérifié sur Synaptic et le paquet (Mintinstall) était bien présent. Pensant à un défaut d'installation, j'ai eu la mauvaise idée de désinstaller ce gestionnaire. En voulant le ré-installer, j'ai découvert qu'il avait disparu de Synaptic et qu'il n’était pas disponible ailleurs d'où ma demande d'aide.
Pouvez-vous m'indiquer la procédure pour retrouver ce manager, svp?
Merci d'avance pour vos conseils.

[zeb]

Tu devrais choisir un titre de sujet plus évocateur afin d'obtenir de l'aide plus rapidement

Merci !

[Jieldé]

Bizarre, vous avez dit "Bizarre" comme c'est bizarre.
Je viens de retenter un "sudo apt-get install mintinstall" et miracle, il m'a trouvé le paquet et réinstallé le gestionnaire. Hier, il ne trouvait rien sur les serveurs. Y a plus qu'à.

[débitant]

c'était sûrement le serveur qui était surchargé

[alain]

Bonjour.

Ça n'engage que moi, mais je pense qu'après la suppression de mintinstall, un petit coup de "recharger" en haut à gauche de synaptic aurait suffit à le faire réapparaître.

ou un "sudo apt-get update" dans un terminal...

[Jieldé]

Merci pour les infos Alain mais j'avais fait les deux manip sans succès. Le bizarre restera bizarre. Pas grave, c'est résolu.

[alain]

Alors comme dit Débitant une indisponibilité temporaire du serveur...