@@ -223,23 +223,23 @@ env: - config=amigaos # Nintendo 3DS - os: linux - dist: trusty + dist: bionic env: - config=nintendo_3ds # Nintendo DS - os: linux - dist: trusty + dist: bionic env: - config=nintendo_ds # Nintendo Wii - os: linux - dist: trusty + dist: bionic env: - config=wii before_install: - if [ "$TRAVIS_OS_NAME" = "linux" -a -z "$config" ]; then @@ -268,12 +268,14 @@ fi; fi - if [ "$config" = "nintendo_3ds" -o "$config" = "nintendo_ds" -o "$config" = "wii" ]; then - wget https://github.com/devkitPro/pacman/releases/download/devkitpro-pacman-1.0.1/devkitpro-pacman.deb; - sudo dpkg -i devkitpro-pacman.deb; + deb=devkitpro-pacman.amd64.deb; + wget https://github.com/devkitPro/pacman/releases/download/v1.0.2/$deb; + sudo apt install gdebi; + sudo gdebi -n $deb; fi - if [ "$config" = "nintendo_3ds" ]; then sudo dkp-pacman --noconfirm -Syu 3ds-dev; fi