josh
/
ppl-os
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

fix: Use edge as default channel as others not released yet for some boards

This commit is contained in:
Maciej Krüger 2018-10-21 15:29:35 +02:00
parent ff721929a9
commit 1c7fa57950
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
build-tool.js
View File

@ -59,7 +59,7 @@ async function pullOrClone (repo, dest, checkout) {
await exec('git', dest, 'submodule', 'update') await exec('git', dest, 'submodule', 'update')
let newCommit = String(execWithOutput('git', '-C', dest, 'rev-parse', '--verify', 'HEAD').stdout) let newCommit = String(execWithOutput('git', '-C', dest, 'rev-parse', '--verify', 'HEAD').stdout)
return currentCommit !== newCommit // returns bool if snap need recompilation return currentCommit !== newCommit // returns true if snap needs recompilation
} }
async function main () { async function main () {

2
conf-tool.sh
View File

@ -35,7 +35,7 @@ fi
dev_user=$(echo "$user_email" | sed "s|@.*||g") dev_user=$(echo "$user_email" | sed "s|@.*||g")
read_prompt "Device channel" "stable" read_prompt "Device channel" "edge" # TODO: switch to "stable"/"beta" once released for rpi3
channel="$val" channel="$val"
read_prompt "Device environment" "dev" " - use prod for production" read_prompt "Device environment" "dev" " - use prod for production"
dev_env="$val" dev_env="$val"