From b7e1ab9b9fe69bde4af95a065d81d5071eb0eb34 Mon Sep 17 00:00:00 2001
From: SirWalross <27106448+SirWalross@users.noreply.github.com>
Date: Sat, 11 Jun 2022 18:30:39 +0200
Subject: [PATCH] Add execution of write.bash to push.bash
---
scripts/push.bash | 2 ++
scripts/write.bash | 1 +
2 files changed, 3 insertions(+)
diff --git a/scripts/push.bash b/scripts/push.bash
index 98fd588..70a91e6 100755
--- a/scripts/push.bash
+++ b/scripts/push.bash
@@ -4,6 +4,8 @@ ls -la .
ls -la data
ls -la log
+scripts/./write.bash
+
pip install multiprocessing_logging
python3 measure.py
diff --git a/scripts/write.bash b/scripts/write.bash
index ab17af6..02facad 100755
--- a/scripts/write.bash
+++ b/scripts/write.bash
@@ -44,6 +44,7 @@ core_list_installed=$(echo "$core_list" | grep "^$core")
if [[ -z $core_list_installed ]]
then
echo -e "\x1b[33mWarning: Core $core for board $fqbn is not installed.\x1b[0m"
+ exit 1
while true; do
read -p "Would you like to install the core? [Y/n]: " yn
--
GitLab