From 13f13739443a2539ac911551877a89f4fd3adb1f Mon Sep 17 00:00:00 2001 From: mboelen Date: Wed, 13 Apr 2016 12:08:31 +0200 Subject: [PATCH] Add --plugindir as alias to --plugin-dir --- include/parameters | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/include/parameters b/include/parameters index 3791ba03..6163b138 100644 --- a/include/parameters +++ b/include/parameters @@ -211,7 +211,7 @@ ;; # Define a custom plugin directory - --plugin-dir | --plugins-dir) + --plugindir | --plugin-dir | --plugins-dir) shift PLUGINDIR=$1 LASTCHAR=`echo $1 | awk '{ print substr($0, length($0))}'`