From 7ff150fe89d5e6875a839b4848f1a8e83496697a Mon Sep 17 00:00:00 2001 From: mollusk Date: Tue, 26 Jul 2016 07:52:51 -0700 Subject: [PATCH] [Updated]: euphoria-install.sh: added shorthand versions of options and changed 'uninstall' to 'remove' --- euphoria-install.sh | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/euphoria-install.sh b/euphoria-install.sh index 2cfb64e..268c913 100755 --- a/euphoria-install.sh +++ b/euphoria-install.sh @@ -134,7 +134,7 @@ remove_tmp(){ fi } case $1 in - install) + install | i) check_root check_deps check_install @@ -143,11 +143,11 @@ case $1 in install_build post_install ;; - uninstall) + remove | r) check_root uninstall_pkg ;; -clean) +clean | c) remove_tmp ;; *) @@ -157,9 +157,9 @@ clean) [OPTIONS] - install Install ${name}-${version} - uninstall Uninstall ${name}-${version} - clean Clear out ${name} downloads in ${tmpdir} + install | i Install ${name}-${version} + remove | r Uninstall ${name}-${version} + clean | c Clear out ${name} downloads in ${tmpdir} """ ;;