OK, in parziale risposta alla mia stessa domanda, un po’ di navigazione casuale sui forum suggerisce che
$ sudo apt-get install libmysqlclient-dev
consentirà poi l’installazione del gem mysql2 (qualunque cosa sia), ignorando l’avviso di non eseguire questa operazione come root.
Superato questo ostacolo e passando al passaggio successivo, digitando
$ bundle exec rails db:drop
ottengo un altro errore::::
bundler: failed to load command: rails (/usr/local/bin/rails)
Gem::Exception: impossibile trovare l’eseguibile rails per il gem railties. railties non è attualmente incluso nel bundle, forse intendevi aggiungerlo al tuo Gemfile?
Controllando in /usr/local/bin/, vedo che c’è sicuramente un file chiamato ‘rails’.
Digitare sudo gem o gem install rails o $ sudo gem install rails non aiuta (secondo i vari suggerimenti trovati per questo errore).
Ho anche reinstallato Ruby on Rails da zero per assicurarmi che tutte le dipendenze normali fossero presenti https://www.digitalocean.com/community/tutorials/how-to-install-ruby-on-rails-with-rbenv-on-ubuntu-18-04 - senza alcun miglioramento, sia che io usi la versione 2.51 che la 2.61.
Sono proprio fuori dalla mia profondità qui…