OK, en réponse partielle à ma propre question, des recherches aléatoires sur les forums suggèrent que
$ sudo apt-get install libmysqlclient-dev
permettra ensuite d’installer le gem mysql2 (quoi que ce soit) — en ignorant l’avertissement concernant le fait de ne pas le faire en tant que root.
Une fois cela dépassé et passé à l’étape suivante — en tapant
$ bundle exec rails db:drop
— un autre erreur apparaît :
bundler: failed to load command: rails (/usr/local/bin/rails)
Gem::Exception: impossible de trouver l’exécutable rails pour le gem railties. railties n’est pas actuellement inclus dans le bundle, peut-être devriez-vous l’ajouter à votre Gemfile ?
En vérifiant dans /usr/local/bin/, je vois qu’un fichier nommé ‘rails’ est bien présent.
Taper sudo gem ou gem install rails ou $ sudo gem install rails ne résout rien (selon diverses suggestions trouvées pour cette erreur).
J’ai même tout réinstallé à partir de zéro, en suivant le tutoriel Ruby on Rails, pour m’assurer que toutes les dépendances normales sont présentes : How To Install Ruby on Rails with rbenv on Ubuntu 18.04 | DigitalOcean — et aucune amélioration, que j’utilise la version 2.5.1 ou 2.6.1.
Je suis vraiment dépassé ici…