Clairement, cette histoire d'empaquetage et de LTS c'est relou en fait…

• Jusqu'à Ubuntu 18.04 : N'est pas dans les dépôts officiels, donc : ppa:danielrichter2007/grub-customizer

Il vaut mieux utiliser ce ppa : ppa:mdoyen/homebank qui est plus récent. (http://homebank.free.fr/fr/downloads.php)

Utiliser les dépôts de openstreetmap pour avoir la dernière version de Josm sur Linux Mint : https://josm.openstreetmap.de/wiki/Fr%3ADownload#Ubuntu

L'installation en CLI se fait via mediainfo-gui pour l'avoir en interface graphique

Certaines applications doivent êtres installées via Python (pip3 install). Ne pas utiliser sudo pour les installer, elles s'installent chez l'utilisateur courant.

• Installer une appli : pip3 install <nom de l'appli>
• Mettre à jour une appli : pip3 install –upgrade <nom de l'appli>
• Désinstaller une appli : pip3 uninstall <nom de l'appli>

Documentation de pip install : https://pip.pypa.io/en/stable/reference/pip_install/