diff options
| -rwxr-xr-x | nix-script-repl.sh | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/nix-script-repl.sh b/nix-script-repl.sh index ef8c80d..027dadc 100755 --- a/nix-script-repl.sh +++ b/nix-script-repl.sh @@ -109,13 +109,7 @@ __builtin__() { local cmd=$1; shift local args=$* - if [[ $COMMAND =~ $str ]] - then - $cmd $args && prompt - return 0 - else - return 1 - fi + [[ $COMMAND =~ $str ]] && $cmd $args && prompt } prompt |