diff options
| author | Eduardo Julian | 2020-12-10 00:15:15 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2020-12-10 00:15:15 -0400 |
| commit | 14287585025b2d8fff1991691def9e643b039ac8 (patch) | |
| tree | 4fdbe2aafa907d1dd0f47150c545adf3eabeb124 /shell | |
| parent | 893c76ad530ca0e81cd84602543c3114407f4592 (diff) | |
Re-named "with-cover" to "for".
Diffstat (limited to 'shell')
| -rwxr-xr-x | shell/lux.sh | 11 |
1 files changed, 1 insertions, 10 deletions
diff --git a/shell/lux.sh b/shell/lux.sh index 3ff27a556..62c20da6d 100755 --- a/shell/lux.sh +++ b/shell/lux.sh @@ -18,14 +18,5 @@ aedifex() { echo "$(home)/aedifex.jar" } -command() { - local COMMAND="" - while [ $# -gt 0 ]; do - COMMAND="$COMMAND $1" - shift - done - echo $COMMAND -} - -java -jar $(aedifex) $(command "$@") +java -jar $(aedifex) $@ |