diff options
| author | Arpit Chakladar <arpitchakladar@proton.me> | 2026-04-24 01:48:30 +0530 |
|---|---|---|
| committer | Arpit Chakladar <arpitchakladar@proton.me> | 2026-04-24 01:48:30 +0530 |
| commit | 3e232a2bc7f5c8ea33804be1ea071a91c5f98055 (patch) | |
| tree | f772b5d7d393cacf708d845acb75b55c12d3e625 /modules/tools/devenv/alias.sh | |
| parent | 606716e0a4b8cbeb9076fb88b6b92664a5a24081 (diff) | |
| download | home-manager-config-3e232a2bc7f5c8ea33804be1ea071a91c5f98055.tar.gz home-manager-config-3e232a2bc7f5c8ea33804be1ea071a91c5f98055.zip | |
replacing tools with programs to be more consistent with config 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 -} |