When setting up environment, source ~/.profile rather than the now non-existent ~/.bash_profile (fixes #74).
Update Ubuntu image from ubuntu2004 to ubuntu2204.
Re-order image configurations to put Ubuntu first.
Update micromamba download URLs to current official recommendations (old URLs still work, but we don't know for how long this will continue to be the case).
When setting up environment, source ~/.profile rather than the now non-existent ~/.bash_profile (fixes #74).
Update Ubuntu image from ubuntu2004 to ubuntu2204.
Re-order image configurations to put Ubuntu first.
Update micromamba download URLs to current official recommendations (old URLs still work, but we don't know for how long this will continue to be the case).