misc shellcheck fixes

tmp/arduino-cli-pre-rebase
Jesse Vincent 4 years ago
parent 33210331db
commit f9c523ac0f
No known key found for this signature in database
GPG Key ID: CC228463465E40BC

@ -196,10 +196,10 @@ find_sketch () {
find_device_vid_pid() { find_device_vid_pid() {
: ${VID:=$(get_arduino_pref 'build.vid')} : "${VID:=$(get_arduino_pref 'build.vid')}"
: ${SKETCH_PID:=$(get_arduino_pref 'build.pid')} : "${SKETCH_PID:=$(get_arduino_pref 'build.pid')}"
: ${BOOTLOADER_PID:=$(get_arduino_pref 'bootloader.pid')} : "${BOOTLOADER_PID:=$(get_arduino_pref 'bootloader.pid')}"
: ${BOOTLOADER_VID:=$(get_arduino_pref 'bootloader.vid')} : "${BOOTLOADER_VID:=$(get_arduino_pref 'bootloader.vid')}"
} }
@ -460,8 +460,8 @@ do_compile () {
get_arduino_pref() { get_arduino_pref() {
pref=$1 pref=$1
# Strip the preference name. And then strip leading and trailing quotations # Strip the preference name. And then strip leading and trailing quotations
MESSAGE=$(dump_arduino_prefs | grep --max-count=1 ${pref}= | sed -e s/^.*${pref}=// -e 's/^"//' -e 's/"$//') MESSAGE=$(dump_arduino_prefs | grep --max-count=1 "${pref}=" | sed -e s/^.*${pref}=// -e 's/^"//' -e 's/"$//')
echo $MESSAGE echo "$MESSAGE"
} }

Loading…
Cancel
Save