Args: Remove unused options

This commit is contained in:
Dylan Araps 2017-01-15 21:53:55 +11:00
parent e00de5319d
commit e25612f34e
1 changed files with 2 additions and 2 deletions

View File

@ -3969,8 +3969,8 @@ get_args() {
# Other # Other
"--config") "--config")
case "$2" in case "$2" in
"none" | "off" | "") config="off" ;; "none" | "off" | "") ;;
*) config_file="$2"; config="on"; get_user_config 2>/dev/null ;; *) config_file="$2"; get_user_config 2>/dev/null ;;
esac esac
;; ;;
"-v") verbose="on" ;; "-v") verbose="on" ;;