From 3e232a2bc7f5c8ea33804be1ea071a91c5f98055 Mon Sep 17 00:00:00 2001 From: Arpit Chakladar Date: Fri, 24 Apr 2026 01:48:30 +0530 Subject: replacing tools with programs to be more consistent with config options --- modules/tools/devenv/alias.sh | 28 ---------------------------- 1 file changed, 28 deletions(-) delete mode 100644 modules/tools/devenv/alias.sh (limited to 'modules/tools/devenv/alias.sh') diff --git a/modules/tools/devenv/alias.sh b/modules/tools/devenv/alias.sh deleted file mode 100644 index e63dbd8..0000000 --- a/modules/tools/devenv/alias.sh +++ /dev/null @@ -1,28 +0,0 @@ -devenv() { - local has_reload=false - local is_shell=false - - for arg in "$@"; do - if [[ "$arg" == "--reload" || "$arg" == "--no-reload" ]]; then - has_reload=true - fi - if [[ "$arg" == "shell" ]]; then - is_shell=true - fi - done - - if [[ "$is_shell" == true ]]; then - if [[ "$has_reload" == true ]]; then - command devenv "$@" "$SHELL" - else - command devenv "$@" --no-reload "$SHELL" - fi - return - fi - - if [[ "$has_reload" == true ]]; then - command devenv "$@" - else - command devenv "$@" --no-reload - fi -} -- cgit v1.2.3