From 7e9559fde33dd075270cd1252372e99daf9fcf59 Mon Sep 17 00:00:00 2001 From: CommanderRedYT Date: Sat, 13 Nov 2021 12:42:41 +0100 Subject: [PATCH] Moved helper scripts into tools/ --- export.sh | 1 + app-flash.sh => tools/bobby-app-flash | 0 coredump.sh => tools/bobby-coredump | 0 flash.sh => tools/bobby-flash | 0 monitor.sh => tools/bobby-monitor | 0 open_ide.sh => tools/open_ide | 0 6 files changed, 1 insertion(+) rename app-flash.sh => tools/bobby-app-flash (100%) rename coredump.sh => tools/bobby-coredump (100%) rename flash.sh => tools/bobby-flash (100%) rename monitor.sh => tools/bobby-monitor (100%) rename open_ide.sh => tools/open_ide (100%) diff --git a/export.sh b/export.sh index 89ded47..3ec65e8 100644 --- a/export.sh +++ b/export.sh @@ -48,3 +48,4 @@ then echo "run ./switchconf.sh to fix all listed issues" return fi +export PATH=$PATH:$(pwd)/tools diff --git a/app-flash.sh b/tools/bobby-app-flash similarity index 100% rename from app-flash.sh rename to tools/bobby-app-flash diff --git a/coredump.sh b/tools/bobby-coredump similarity index 100% rename from coredump.sh rename to tools/bobby-coredump diff --git a/flash.sh b/tools/bobby-flash similarity index 100% rename from flash.sh rename to tools/bobby-flash diff --git a/monitor.sh b/tools/bobby-monitor similarity index 100% rename from monitor.sh rename to tools/bobby-monitor diff --git a/open_ide.sh b/tools/open_ide similarity index 100% rename from open_ide.sh rename to tools/open_ide