Gemini PDA

There is an upgrade path to Debian 10 but an ‘apt-get upgrade’ will fail. This bash script will help.