comparison scripts/setup_ssh.sh @ 425:99de323c13b3 prerelease

Scripts use sh instead of bash. Some fixes in run_project and build_project
author Giulio Moro <giuliomoro@yahoo.it>
date Thu, 16 Jun 2016 15:55:03 +0100
parents ab6d78e18e85
children d9a4fc5357e7
comparison
equal deleted inserted replaced
424:9614e2f4b76e 425:99de323c13b3
1 #!/bin/bash 1 #!/bin/sh
2 [ -z "$BBB_HOSTNAME" ] && BBB_HOSTNAME="192.168.7.2" 2 [ -z "$BBB_HOSTNAME" ] && BBB_HOSTNAME="192.168.7.2"
3 [ -z "$BBB_USER" ] && BBB_USER="root" 3 [ -z "$BBB_USER" ] && BBB_USER="root"
4 [ -z "$BBB_HOST" ] && BBB_HOST="bbb" 4 [ -z "$BBB_HOST" ] && BBB_HOST="bbb"
5 CONFIG_FILENAME=$HOME/.ssh/config 5 CONFIG_FILENAME=$HOME/.ssh/config
6 mkdir -p $HOME/.ssh # create the ssh folder if it does not exist 6 mkdir -p $HOME/.ssh # create the ssh folder if it does not exist