From 8e8624e5d2565d9edf872e6ba53ee11f9a0ae0ac Mon Sep 17 00:00:00 2001 From: Arpit Chakladar Date: Fri, 24 Apr 2026 16:49:08 +0530 Subject: removed devenv config --- modules/programs/devenv/alias.sh | 28 ---------------------------- 1 file changed, 28 deletions(-) delete mode 100644 modules/programs/devenv/alias.sh (limited to 'modules/programs/devenv/alias.sh') diff --git a/modules/programs/devenv/alias.sh b/modules/programs/devenv/alias.sh deleted file mode 100644 index e63dbd8..0000000 --- a/modules/programs/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