diff options
Diffstat (limited to 'modules/tools/devenv/alias.sh')
| -rw-r--r-- | modules/tools/devenv/alias.sh | 28 |
1 files changed, 0 insertions, 28 deletions
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 -} |
