Snigdha-OS/snigdhaos-system-config
2
0
Fork 0
mirror of https://github.com/Snigdha-OS/snigdhaos-system-config.git synced 2025-09-07 05:05:14 +02:00
Code Issues Actions Packages Projects Releases Wiki Activity

perf(rep): replace terminal execution script

Browse Source
This commit is contained in:
Eshan Roy (Eshanized)
2024-05-04 16:43:17 +05:30
parent cc43f9d0e0
commit 308eb7fb15
1 changed files with 10 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

17
usr/bin/exec-terminal → usr/bin/launch-terminal
View File

@@ -1,13 +1,16 @@
#!/usr/bin/bash #!/usr/bin/bash
# Author: Garuda Linux
# Adopted for Snigdha OS
set -e set -e
EXEC_TERMINAL=bash LAUNCH_TERMINAL_SHELL=bash
usage() { usage() {
echo "Usage: ${0##*/} [cmd]" echo "Usage: ${0##*/} [cmd]"
echo ' -s [shell] Change shell to [shell]' echo ' -s [shell] Change shell to [shell]'
echo ' -h Show help' echo ' -h This help'
exit 1 exit 1
} }
@@ -15,10 +18,10 @@ opts='s:h'
while getopts "${opts}" arg; do while getopts "${opts}" arg; do
case "${arg}" in case "${arg}" in
s) EXEC_TERMINAL="$OPTARG" ;; s) LAUNCH_TERMINAL_SHELL="$OPTARG" ;;
h | ?) usage 0 ;; h | ?) usage 0 ;;
*) *)
echo "Invalid Argument '${arg}'!" echo "invalid argument '${arg}'"
usage 1 usage 1
;; ;;
esac esac
@@ -29,9 +32,9 @@ shift $(($OPTIND - 1))
initfile="$(mktemp)" initfile="$(mktemp)"
codefile="$initfile" codefile="$initfile"
echo "#!/usr/bin/env bash" >"$initfile" echo "#!/usr/bin/env bash" >"$initfile"
if [ "$EXEC_TERMINAL" != "bash" ]; then if [ "$LAUNCH_TERMINAL_SHELL" != "bash" ]; then
codefile="$(mktemp)" codefile="$(mktemp)"
echo "$EXEC_TERMINAL $codefile" >>"$initfile" echo "$LAUNCH_TERMINAL_SHELL $codefile" >>"$initfile"
fi fi
echo "$1" >>"$codefile" echo "$1" >>"$codefile"
chmod +x "$initfile" chmod +x "$initfile"
@@ -73,7 +76,7 @@ if [ -z "$terminal" ] || ! command -v "$terminal" &>/dev/null; then
fi fi
if [ -z "$terminal" ]; then if [ -z "$terminal" ]; then
notify-send -t 15000 --app-name=Snigdha\ OS "No terminal installed" "No supported terminal emulator is installed. Please install a terminal emulator like gnome-terminal." notify-send -t 15000 --app-name=Garuda\ Linux "No terminal installed" "No supported terminal emulator is installed. Please install a terminal emulator like Alacritty."
exit 1 exit 1
fi fi