axzshctl: Handle GitHub plugins with dots (".") in their names

diff --git a/bin/axzshctl b/bin/axzshctl
index b958950d2ad313863d668271d6b9d9e12a823254..30f0952a4ba8efb151b8e01d0a5684dcb657cc4a 100755 (executable)
--- a/bin/axzshctl
+++ b/bin/axzshctl
@@ -82,7 +82,7 @@ function UpdatePluginCache {
 }
 
 function NormalizedPluginName {
-       if [[ "$1" =~ "^[[:alnum:]-]+/[[:alnum:]_-]+$" ]]; then
+       if [[ "$1" =~ "^[[:alnum:]-]+/[[:alnum:]_.-]+$" ]]; then
                echo "${1:gs/\//#}"
        elif [[ "$1" =~ "/" ]]; then
                echo "${1:t}"
@@ -119,7 +119,7 @@ function EnablePlugin {
                return 1
        fi
 
-       if [[ "$1" =~ "^[[:alnum:]-]+/[[:alnum:]_-]+$" ]]; then
+       if [[ "$1" =~ "^[[:alnum:]-]+/[[:alnum:]_.-]+$" ]]; then
                # GitHub plugin
                mkdir -p "$AXZSH/repos"
                if [[ ! -e "$AXZSH/repos/$plugin" ]]; then