diff options
| author | Mike Holmes <mike.holmes@linaro.org> | 2016-09-08 12:41:12 -0400 |
|---|---|---|
| committer | Anders Roxell <anders.roxell@linaro.org> | 2016-09-08 19:27:59 +0200 |
| commit | 6d3d2792bd1df9d407f0349203148c196e7af15c (patch) | |
| tree | 4eb9774e793ddbfee4409b9c8dc5b7a6a23554bf | |
| parent | 5d5fb79117a56c18e9ea8f32641cf97dcccd95c7 (diff) | |
setup_odp_example.sh detrmin the correct distribution
Signed-off-by: Mike Holmes <mike.holmes@linaro.org>
Signed-off-by: Anders Roxell <anders.roxell@linaro.org>
| -rwxr-xr-x | setup_odp_example.sh | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/setup_odp_example.sh b/setup_odp_example.sh index bec0881..8d0e7f8 100755 --- a/setup_odp_example.sh +++ b/setup_odp_example.sh @@ -19,7 +19,11 @@ sudo apt-get install -y wget lsb-core ODP_NAME=${ODP_NAME:-"odp-linux"} #pick your distribution -OS_RELEASE=${OS_RELEASE:-"jessie"} +DEFAULT_RELEASE=`lsb_release -c | cut -d: -f 2` +echo +echo "Default distribution determined to be $DEFAULT_RELEASE" +echo +OS_RELEASE=${OS_RELEASE:-"$DEFAULT_RELEASE"} wget -O - http://deb.opendataplane.org/odp.key|sudo apt-key add - echo "deb http://deb.opendataplane.org ${OS_RELEASE} main" |sudo tee /etc/apt/sources.list.d/odp.list |