Merge pull request #260 from gregordinary/mickey-emmc

Fix emmc values for veyron-mickey in install scripts
SolidHal · Dec 16, 2020 · dc834ae · dc834ae
2 parents b4b16d5 + 7a8937d
commit dc834ae
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/scripts/InstallScripts/InstallPackages.sh b/scripts/InstallScripts/InstallPackages.sh
@@ -38,7 +38,7 @@ get_emmc_devname() {
     case "$device" in
         $device_veyron_speedy) local devname=mmcblk2;;
         $device_veyron_minnie) local devname=mmcblk2;;
-	$device_veyron_mickey) local devname=mmcblk2;;
+        $device_veyron_mickey) local devname=mmcblk1;;
         $device_gru_kevin) local devname=mmcblk1;;
         $device_gru_bob) local devname=mmcblk1;;
         * ) echo "Unknown device! can't determine emmc devname. Please file an issue with the output of fdisk -l if you get this on a supported device"; exit 1;;
@@ -52,7 +52,7 @@ get_sd_devname() {
     case "$device" in
         $device_veyron_speedy) local devname=mmcblk0;;
         $device_veyron_minnie) local devname=mmcblk0;;
-	$device_veyron_mickey) local devname=mmcblk0;;
+        $device_veyron_mickey) local devname=mmcblk0;;
         $device_gru_kevin) local devname=mmcblk0;;
         $device_gru_bob) local devname=mmcblk0;;
         * ) echo "Unknown device! can't determine sd card devname. Please file an issue with the output of fdisk -l if you get this on a supported device"; exit 1;;

diff --git a/scripts/InstallScripts/InstallPrawnOS.sh b/scripts/InstallScripts/InstallPrawnOS.sh
@@ -41,7 +41,7 @@ get_emmc_devname() {
     case "$device" in
         $device_veyron_speedy) local devname=mmcblk2;;
         $device_veyron_minnie) local devname=mmcblk2;;
-	$device_veyron_mickey) local devname=mmcblk2;;
+        $device_veyron_mickey) local devname=mmcblk1;;
         $device_gru_kevin) local devname=mmcblk1;;
         $device_gru_bob) local devname=mmcblk1;;
         * ) echo "Unknown device! can't determine emmc devname. Please file an issue with the output of fdisk -l if you get this on a supported device"; exit 1;;
@@ -55,7 +55,7 @@ get_sd_devname() {
     case "$device" in
         $device_veyron_speedy) local devname=mmcblk0;;
         $device_veyron_minnie) local devname=mmcblk0;;
-	$device_veyron_mickey) local devname=mmcblk0;;
+        $device_veyron_mickey) local devname=mmcblk0;;
         $device_gru_kevin) local devname=mmcblk0;;
         $device_gru_bob) local devname=mmcblk0;;
         * ) echo "Unknown device! can't determine sd card devname. Please file an issue with the output of fdisk -l if you get this on a supported device"; exit 1;;