You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: kernel/resources/shared/FlashKernelPartition.sh
+9-13Lines changed: 9 additions & 13 deletions
Original file line number
Diff line number
Diff line change
@@ -33,31 +33,27 @@ get_device() {
33
33
}
34
34
35
35
get_emmc_devname() {
36
-
local device=$(get_device)
37
-
case"$device"in
38
-
$device_veyron_speedy) local devname=mmcblk2;;
39
-
$device_veyron_minnie) local devname=mmcblk2;;
40
-
$device_veyron_mickey) local devname=mmcblk2;;
41
-
$device_gru_kevin) local devname=mmcblk0;;
42
-
$device_gru_bob) local devname=mmcblk0;;
43
-
* ) 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;;
44
-
esac
36
+
local devname=$(ls /dev/mmcblk*| grep -F boot0 | sed "s/boot0//")
37
+
if [ -z"$devname" ]
38
+
then
39
+
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;;
40
+
fi
45
41
echo$devname
46
42
}
47
43
48
-
49
44
get_sd_devname() {
50
45
local device=$(get_device)
51
46
case"$device"in
52
47
$device_veyron_speedy) local devname=mmcblk0;;
53
48
$device_veyron_minnie) local devname=mmcblk0;;
54
-
$device_veyron_mickey) local devname=mmcblk0;;
55
-
$device_gru_kevin) local devname=mmcblk1;;
56
-
$device_gru_bob) local devname=mmcblk1;;
49
+
$device_veyron_mickey) local devname="";;
50
+
$device_gru_kevin) local devname=mmcblk0;;
51
+
$device_gru_bob) local devname=mmcblk0;;
57
52
* ) 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;;
Copy file name to clipboardExpand all lines: scripts/InstallScripts/InstallPackages.sh
+6-11Lines changed: 6 additions & 11 deletions
Original file line number
Diff line number
Diff line change
@@ -34,25 +34,20 @@ get_device() {
34
34
}
35
35
36
36
get_emmc_devname() {
37
-
local device=$(get_device)
38
-
case"$device"in
39
-
$device_veyron_speedy) local devname=mmcblk2;;
40
-
$device_veyron_minnie) local devname=mmcblk2;;
41
-
$device_veyron_mickey) local devname=mmcblk1;;
42
-
$device_gru_kevin) local devname=mmcblk1;;
43
-
$device_gru_bob) local devname=mmcblk1;;
44
-
* ) 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;;
45
-
esac
37
+
local devname=$(ls /dev/mmcblk*| grep -F boot0 | sed "s/boot0//")
38
+
if [ -z"$devname" ]
39
+
then
40
+
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;;
41
+
fi
46
42
echo$devname
47
43
}
48
44
49
-
50
45
get_sd_devname() {
51
46
local device=$(get_device)
52
47
case"$device"in
53
48
$device_veyron_speedy) local devname=mmcblk0;;
54
49
$device_veyron_minnie) local devname=mmcblk0;;
55
-
$device_veyron_mickey) local devname=mmcblk0;;
50
+
$device_veyron_mickey) local devname="";;
56
51
$device_gru_kevin) local devname=mmcblk0;;
57
52
$device_gru_bob) local devname=mmcblk0;;
58
53
* ) 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;;
Copy file name to clipboardExpand all lines: scripts/InstallScripts/InstallPrawnOS.sh
+6-10Lines changed: 6 additions & 10 deletions
Original file line number
Diff line number
Diff line change
@@ -37,15 +37,11 @@ get_device() {
37
37
}
38
38
39
39
get_emmc_devname() {
40
-
local device=$(get_device)
41
-
case"$device"in
42
-
$device_veyron_speedy) local devname=mmcblk2;;
43
-
$device_veyron_minnie) local devname=mmcblk2;;
44
-
$device_veyron_mickey) local devname=mmcblk1;;
45
-
$device_gru_kevin) local devname=mmcblk1;;
46
-
$device_gru_bob) local devname=mmcblk1;;
47
-
* ) 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;;
48
-
esac
40
+
local devname=$(ls /dev/mmcblk*| grep -F boot0 | sed "s/boot0//")
41
+
if [ -z"$devname" ]
42
+
then
43
+
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;;
44
+
fi
49
45
echo$devname
50
46
}
51
47
@@ -55,7 +51,7 @@ get_sd_devname() {
55
51
case"$device"in
56
52
$device_veyron_speedy) local devname=mmcblk0;;
57
53
$device_veyron_minnie) local devname=mmcblk0;;
58
-
$device_veyron_mickey) local devname=mmcblk0;;
54
+
$device_veyron_mickey) local devname="";;
59
55
$device_gru_kevin) local devname=mmcblk0;;
60
56
$device_gru_bob) local devname=mmcblk0;;
61
57
* ) 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;;
0 commit comments