Merge pull request #808 from CapeLeidokos/pr_predefined_device_port

Enable predefined DEVICE_PORT

etc/kaleidoscope-builder.conf

@@ -79,7 +79,11 @@ find_device_port() {
     find_device_vid_pid
     DIR=$(dirname "$(readlink -f "$0")")
     DEVICE_PORT_PROBER="${DIR}/find-device-port-linux-udev"
+    if [[ "${DEVICE_PORT}" = "" ]]; then
       DEVICE_PORT="$(perl ${DEVICE_PORT_PROBER} ${VID} ${SKETCH_PID})"
+    else
+      echo "DEVICE_PORT=\"${DEVICE_PORT}\" predefined."
+    fi
 }
 
 reset_device_cmd() {
@@ -93,7 +97,11 @@ find_bootloader_ports() {
     DIR=$(dirname "$(readlink -f "$0")")
     BOOTLOADER_VID="${BOOTLOADER_VID:-${VID}}"
     DEVICE_PORT_PROBER="${DIR}/find-device-port-linux-udev"
+    if [[ "${DEVICE_PORT_BOOTLOADER}" = "" ]]; then
       DEVICE_PORT_BOOTLOADER="$(perl ${DEVICE_PORT_PROBER} ${BOOTLOADER_VID} ${BOOTLOADER_PID})"
+    else
+      echo "DEVICE_PORT_BOOTLOADER=\"${DEVICE_PORT_BOOTLOADER}\" predefined."
+    fi
 }
 
 find_bootloader_path() {