La 20.04 est sortie mais apparemment, le gestionnaire de mises à jour ne proposera la migration depuis la 18.04/19.10 qu'à la sortie de la 20.04.1 en juillet.
Pour y passer maintenant, il faut forcer la mise à niveau comme indiqué dans
ce message. Elle se fera en ligne de commande, ce qui ne change rien fondamentalement ; il faudra juste répondre aux questions posées dans le terminal (et si tu as une interface "graphique en mode texte" à un moment, savoir qu'on se déplace dans les options en utilisant la touche Tab).
