|
@@ -63,16 +63,14 @@ fi
|
63
|
63
|
|
64
|
64
|
if [ ! -d $MICROSD_MOUNT_POINT ]; then
|
65
|
65
|
if [ -d /media ]; then
|
66
|
|
- if [ ! -d /media/$ROOTFS ]; then
|
67
|
|
- # different directories for Debian
|
68
|
|
- if [ -d /media/usb1/home ]; then
|
69
|
|
- MICROSD_MOUNT_POINT=/media
|
70
|
|
- ROOTFS=usb1
|
71
|
|
- fi
|
72
|
|
- if [ -f /media/usb0/bbb-uEnv.txt ]; then
|
73
|
|
- MICROSD_MOUNT_POINT=/media
|
74
|
|
- BOOT=usb0
|
75
|
|
- fi
|
|
66
|
+ # different directories for Debian
|
|
67
|
+ if [ -d /media/usb1 ]; then
|
|
68
|
+ MICROSD_MOUNT_POINT=/media
|
|
69
|
+ ROOTFS=usb1
|
|
70
|
+ fi
|
|
71
|
+ if [ -d /media/usb0 ]; then
|
|
72
|
+ MICROSD_MOUNT_POINT=/media
|
|
73
|
+ BOOT=usb0
|
76
|
74
|
fi
|
77
|
75
|
fi
|
78
|
76
|
if [ ! -d $MICROSD_MOUNT_POINT ]; then
|