Fix: terminal: set a custom zsh config folder if commands are specified, to speed...

diff --git a/terminal b/terminal
index 7e37c2658bc9921e65cb1adba4a8dcab9ec7c4c0..baadc43a168f5c500f96a02c9192598055f8c750 100755 (executable)
--- a/terminal
+++ b/terminal
@@ -35,6 +35,12 @@ fi
 #SH="bash --login -i -rcfile $HOME/.terminal"
 SH="zsh -i"
 
+# Set a custom zsh config folder if commands are specified, to speed up startup
+if [ ! -z "$1" ]; then
+  mkdir -p ~/.custom/terminal
+  export ZDOTDIR="~/.custom/terminal"
+fi
+
 # Dispatch
 if [ "$TERM" == "stterm" ]; then
   if [ ! -z "$1" ]; then