Fix detection of plugins stored on GitHub

This fixes enabling of local plugins using a full path name.

diff --git a/bin/axzshctl b/bin/axzshctl
index 9372a33d000f11f9aa719e77f8b84d33493ca6eb..a17a9dfd26f040bb68de24cd7a5217874c410361 100755 (executable)
--- a/bin/axzshctl
+++ b/bin/axzshctl
@@ -47,7 +47,13 @@ function Usage {
 }
 
 function NormalizedPluginName {
-       echo "$1" | sed -e 's|/|#|g'
+       if [[ "$1" =~ "^[[:alnum:]-]+/[[:alnum:]_-]+$" ]]; then
+               echo "$1" | sed -e 's|/|#|g'
+       elif [[ "$1" =~ "/" ]]; then
+               basename "$1"
+       else
+               echo "$1"
+       fi
 }
 
 function EnablePlugin {
@@ -59,7 +65,7 @@ function EnablePlugin {
                return 1
        fi
 
-       if [[ "$1" =~ "/" ]]; then
+       if [[ "$1" =~ "^[[:alnum:]-]+/[[:alnum:]_-]+$" ]]; then
                # GitHub plugin
                mkdir -p "$AXZSH/repos"
                if [[ ! -e "$AXZSH/repos/$plugin" ]]; then