From f25327b6e6f6a9ebd45806d4f2afecc32c3e5e5d Mon Sep 17 00:00:00 2001 From: xnought Date: Tue, 5 Dec 2023 17:51:21 -0800 Subject: [PATCH] feat: delete too --- run.sh | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/run.sh b/run.sh index 826b3c13..e3f809c2 100755 --- a/run.sh +++ b/run.sh @@ -111,6 +111,10 @@ function upload_all() { cd galaxy && python3 upload_all.py } +function delete_all() { + cd galaxy && python3 delete_all.py && soft_restart +} + function scrape_func_names() { functions=($(grep -oE 'function[[:space:]]+[a-zA-Z_][a-zA-Z_0-9]*' ./run.sh | sed 's/function[[:space:]]*//')) }