From 0e24414e812d5f8e5ea8006389297549bd387745 Mon Sep 17 00:00:00 2001 From: "Eshan Roy (Eshanized)" Date: Thu, 7 Mar 2024 23:35:59 +0530 Subject: [PATCH] @eshanized: push via script --- common/snigdhaos-libs/exec-terminal | 15 +++++++++++++++ 1 file changed, 15 insertions(+) diff --git a/common/snigdhaos-libs/exec-terminal b/common/snigdhaos-libs/exec-terminal index a74e45c2..ab7f2378 100644 --- a/common/snigdhaos-libs/exec-terminal +++ b/common/snigdhaos-libs/exec-terminal @@ -22,3 +22,18 @@ while getopts "${opts}" arg; do esac done +shift $((OPTIND - 1)) + +initfile="$(mktemp)" +codefile="$initfile" +echo "#!/usr/bin/env bash" >"$initfile" +if [ "$LAUNCH_TERMINAL_SHELL" != "bash" ]; then + codefile="$(mktemp)" + echo "$LAUNCH_TERMINAL_SHELL $codefile" >>"$initfile" +fi +echo "$1" >>"$codefile" +chmod +x "$initfile" +cmd="\"$initfile\"" + +terminal="" +declare -A terminals=(["alacritty"]="alacritty -e $cmd || LIBGL_ALWAYS_SOFTWARE=1 alacritty -e $cmd" ["konsole"]="konsole -e $cmd" ["kgx"]="kgx -e $cmd" ["gnome-terminal"]="gnome-terminal --wait -- $cmd" ["xfce4-terminal"]="xfce4-terminal --disable-server --command '$cmd'") \ No newline at end of file