From: Thomas Walker Lynch <xtujpz@reasoningtechnology.com>
Date: Fri, 11 Oct 2024 06:32:21 +0000 (+0000)
Subject: clean scripts
X-Git-Url: https://git.reasoningtechnology.com/fossil/static/gitweb.css?a=commitdiff_plain;h=4d7d731f6f5fde6251c4aa0200f405bd6a2941b2;p=PaintIt

clean scripts
---

diff --git a/developer/shell/black b/developer/shell/black
deleted file mode 100755
index d94d9cb..0000000
--- a/developer/shell/black
+++ /dev/null
@@ -1,2 +0,0 @@
-#!/bin/bash
-java com/ReasoningTechnology/PaintIt/Black
diff --git a/developer/shell/blue b/developer/shell/blue
deleted file mode 100755
index 387f82a..0000000
--- a/developer/shell/blue
+++ /dev/null
@@ -1,2 +0,0 @@
-#!/bin/bash
-java com/ReasoningTechnology/PaintIt/Blue
diff --git a/developer/shell/green b/developer/shell/green
deleted file mode 100755
index 9611a51..0000000
--- a/developer/shell/green
+++ /dev/null
@@ -1,2 +0,0 @@
-#!/bin/bash
-java com/ReasoningTechnology/PaintIt/Green
diff --git a/developer/tool/clean b/developer/tool/clean
index bd986dd..f061336 100755
--- a/developer/tool/clean
+++ b/developer/tool/clean
@@ -11,6 +11,9 @@ if [ -z "$ENV_DEV_BUILD" ]; then
   exit 1
 fi
 
+set -x
+cd "$REPO_HOME"/developer
 rm -rf scratch_pad/*
+set +x
 
 echo "clean complete."
diff --git a/developer/tool/clean_all b/developer/tool/clean_all
index 8b7cc21..13ce69b 100755
--- a/developer/tool/clean_all
+++ b/developer/tool/clean_all
@@ -12,8 +12,10 @@ if [ -z "$ENV_DEV_BUILD" ]; then
 fi
 
 set -x
+cd "$REPO_HOME"/developer
 rm -rf scratch_pad/*
 rm -rf jvm/PaintIt.jar
+rm -rf shell/{black,blue,green}
 set +x
 
 echo "clean_all complete."
diff --git a/developer/tool/clean_dist b/developer/tool/clean_dist
index cd35a39..334c826 100755
--- a/developer/tool/clean_dist
+++ b/developer/tool/clean_dist
@@ -15,9 +15,12 @@ fi
 release_dir="$REPO_HOME"/release_candidate
 
 set -x
+cd "$REPO_HOME"/developer
 rm -rf scratch_pad/*
-rm -rf jvm/PaintIt.jar
-rm -rf "$release_dir"
+rm -f jvm/PaintIt.jar
+rm -f shell/{black,blue,green}
+rm -f "$release_dir"/PaintIt.jar
+rm -f "$release_dir"/{black,blue,green}
 set +x
 
 echo "clean_dist complete."
diff --git a/developer/tool/release b/developer/tool/release
index 5c76606..5569657 100755
--- a/developer/tool/release
+++ b/developer/tool/release
@@ -37,10 +37,16 @@ install_file() {
 
 echo "Starting release process..."
 
-# Paths to build script and JAR file
+# Paths to shell wrappers and JAR file
+shell_dir="$REPO_HOME/developer/shell"
 PaintIt_jar_fp="$REPO_HOME/developer/jvm/PaintIt.jar"
 
 # Install the JAR file
 install_file "$PaintIt_jar_fp" "$release_dir" "ug+r"
 
+# Install shell wrappers
+for wrapper in black blue green; do
+  install_file "$shell_dir/$wrapper" "$release_dir" "ug+r+x"
+done
+
 echo "Release process completed successfully."