From 7a8937da93b236a61d53ec77c1fb619f807d7051 Mon Sep 17 00:00:00 2001 From: Gregory Tomko Date: Sun, 13 Dec 2020 15:46:54 -0500 Subject: [PATCH] Fix emmc values for veyron-mickey in install scripts --- scripts/InstallScripts/InstallPackages.sh | 4 ++-- scripts/InstallScripts/InstallPrawnOS.sh | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/scripts/InstallScripts/InstallPackages.sh b/scripts/InstallScripts/InstallPackages.sh index 86f79a2cf..6f6eaae99 100755 --- 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 index c911f18b6..026a775a1 100755 --- 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;;