From 6b3f8e6cea040fe85326d347b29cbd106c4cbb11 Mon Sep 17 00:00:00 2001
From: Mario Alegre <mario@git.alemor.org>
Date: Thu, 3 Dec 2020 18:11:52 -0500
Subject: [PATCH] bugfix

---
 install.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/install.sh b/install.sh
index 6fdc044..8b34abd 100755
--- a/install.sh
+++ b/install.sh
@@ -8,7 +8,7 @@ distro=$(lsb_release -is)
 release=$(lsb_release -rs)
 if [[ $distro == "Debian" ]]; then
     echo "Detected distro: Debian"
-    if [[ $release =~ '^[0-9]+$' ]]; then
+    if [[ $release =~ ^[0-9]+$ ]]; then
 	echo "Detected release: $release"
     elif [[ $release == "testing" ]]; then
 	echo "Detected release: testing"