Skip to content
Snippets Groups Projects
Commit b7e1ab9b authored by SirWalross's avatar SirWalross
Browse files

Add execution of write.bash to push.bash

parent bba8f3d5
No related branches found
Tags
No related merge requests found
...@@ -4,6 +4,8 @@ ls -la . ...@@ -4,6 +4,8 @@ ls -la .
ls -la data ls -la data
ls -la log ls -la log
scripts/./write.bash
pip install multiprocessing_logging pip install multiprocessing_logging
python3 measure.py python3 measure.py
......
...@@ -44,6 +44,7 @@ core_list_installed=$(echo "$core_list" | grep "^$core") ...@@ -44,6 +44,7 @@ core_list_installed=$(echo "$core_list" | grep "^$core")
if [[ -z $core_list_installed ]] if [[ -z $core_list_installed ]]
then then
echo -e "\x1b[33mWarning: Core $core for board $fqbn is not installed.\x1b[0m" echo -e "\x1b[33mWarning: Core $core for board $fqbn is not installed.\x1b[0m"
exit 1
while true; do while true; do
read -p "Would you like to install the core? [Y/n]: " yn read -p "Would you like to install the core? [Y/n]: " yn
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment