changeset 517:4656f886175e prerelease

reverted to bash, better handling of non existing IDE folder during update_board
author Giulio Moro <giuliomoro@yahoo.it>
date Wed, 22 Jun 2016 15:21:58 +0100
parents 7eb66c7898cb
children c774bd8ad108 5406a719910b
files scripts/update_board
diffstat 1 files changed, 3 insertions(+), 3 deletions(-) [+]
line wrap: on
line diff
--- a/scripts/update_board	Wed Jun 22 13:34:23 2016 +0100
+++ b/scripts/update_board	Wed Jun 22 15:21:58 2016 +0100
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 #
 # This script copies the core Bela files to the BeagleBone Black
 # in preparation for building projects. It will remove any existing
@@ -100,7 +100,7 @@
 check_board_alive 
 # Check if destination folder exists
 # the StrictHostKeyChecking no should prevent the unkown host prompt
-ssh -o "StrictHostKeyChecking no" $BBB_ADDRESS stat $BBB_BELA_HOME &>/dev/null && DESTINATION_EMPTY=0 || DESTINATION_EMPTY=1
+ssh -o "StrictHostKeyChecking no" $BBB_ADDRESS [ -d $BBB_BELA_HOME ] && DESTINATION_EMPTY=0 || DESTINATION_EMPTY=1
 # Set the date on the board
 [ $FULL -eq 1 ] && set_date 
 
@@ -201,7 +201,7 @@
 	   printf "\nThe Bela core files were updated on the board, but a valid IDE folder was not found in $IDE_FOLDER/, so the IDE was not updated.
 	You can get a copy of the most up-to-date IDE files from https://github.com/LBDonovan/bela-ide\n"
 	  [ $FULL -eq 1 ] && printf "If there was an older version of the IDE on the board, it is being restarted.\n\n" &&\
-	    ssh $BBB_ADDRESS "make -C $BBB_BELA_HOME --no-print-directory idestart" 
+	    ssh $BBB_ADDRESS "make -C $BBB_BELA_HOME --no-print-directory idestart &> /dev/null" 
 	fi
 else
 	echo "Not updating the IDE"