@@ -268,12 +268,13 @@ fi; fi - if [ "$config" = "nintendo_3ds" -o "$config" = "nintendo_ds" -o "$config" = "wii" ]; then - wget https://github.com/devkitPro/pacman/releases/download/v1.0.2/devkitpro-pacman_1.0.2.amd64.deb; - sudo dpkg -i devkitpro-pacman.deb; + deb=devkitpro-pacman_1.0.2.amd64.deb; + wget https://github.com/devkitPro/pacman/releases/download/v1.0.2/$deb; + sudo dpkg -i $deb; fi - if [ "$config" = "nintendo_3ds" ]; then sudo dkp-pacman --noconfirm -Syu 3ds-dev; fi