Make source dir based on git tag

2025-09-13 21:40:11 +00:00 · 2016-07-10 05:07:19 +00:00
parent 65203f5fe5
commit 2206ed6c9e
9 changed files with 65 additions and 5 deletions
--- a/scripts/entry
+++ b/scripts/entry
@@ -0,0 +1,11 @@
+#!/bin/bash
+set -e
+
+trap "rm -f $HOME/.bash_history" exit
+
+mkdir -p bin
+if [ -e ./scripts/$1 ]; then
+    ./scripts/"$@"
+else
+    "$@"
+fi