comparison scripts/update_board.sh @ 419:4fb06ca94e02 prerelease

Unconditionally restarting IDE after update_board.sh
author Giulio Moro <giuliomoro@yahoo.it>
date Thu, 16 Jun 2016 03:42:10 +0100
parents 947cb6ef73e7
children 669855b8461b
comparison
equal deleted inserted replaced
418:a40ba6f91b1e 419:4fb06ca94e02
74 SCRIPTPATH=$(readlink "$0") 74 SCRIPTPATH=$(readlink "$0")
75 SCRIPTDIR=$(dirname "$SCRIPTPATH") 75 SCRIPTDIR=$(dirname "$SCRIPTPATH")
76 [ -z "$IDE_FOLDER" ] && IDE_FOLDER=$SCRIPTDIR/../../bela-ide/ 76 [ -z "$IDE_FOLDER" ] && IDE_FOLDER=$SCRIPTDIR/../../bela-ide/
77 77
78 78
79 ssh $BBB_ADDRESS "stat $BBB_BELA_HOME &>/dev/null" && DESTINATION_EMPTY=0 || DESTINATION_EMPTY=1 79 ssh $BBB_ADDRESS "date -s '`date`' > /dev/null; stat $BBB_BELA_HOME &>/dev/null" && DESTINATION_EMPTY=0 || DESTINATION_EMPTY=1
80 80
81 if [ $DESTINATION_EMPTY -eq 0 ]; 81 if [ $DESTINATION_EMPTY -eq 0 ];
82 then 82 then
83 echo "Updating the Bela core code in $BBB_ADDRESS:$BBB_BELA_HOME" 83 echo "Updating the Bela core code in $BBB_ADDRESS:$BBB_BELA_HOME"
84 if [ $RESET_BOARD -eq 1 ]; 84 if [ $RESET_BOARD -eq 1 ];
147 cd $IDE_FOLDER/scripts; 147 cd $IDE_FOLDER/scripts;
148 ./setup_IDE.sh -y 148 ./setup_IDE.sh -y
149 # run the IDE 149 # run the IDE
150 ssh $BBB_ADDRESS "make -C $BBB_BELA_HOME --no-print-directory idestart" 150 ssh $BBB_ADDRESS "make -C $BBB_BELA_HOME --no-print-directory idestart"
151 else 151 else
152 # run the IDE
153 ssh $BBB_ADDRESS "make -C $BBB_BELA_HOME --no-print-directory idestart"
152 echo \ 154 echo \
153 "Bela was installed on the board, but No IDE was found, so the IDE was not installed. 155 "Bela was installed on the board, but the IDE files were not found, so the IDE was not installed. If there was an older version of the IDE on the board, it is being restarted.
154 You can get a copy of the IDE files from https://github.com/LBDonovan/bela-ide" 156 You can get a copy of the most up-to-date IDE files from https://github.com/LBDonovan/bela-ide"
155 fi; 157 fi