network: Fixed renaming of wildcard devices.

diff --git a/src/network/functions b/src/network/functions
index 98cd98539a33f80024b6563c020853c265c4602f..aca6e55a00a33b1738a59f0c53ccffa8093aa29d 100644 (file)
--- a/src/network/functions
+++ b/src/network/functions
@@ -148,7 +148,7 @@ function device_rename() {
        local destination=$2
 
        # Replace + by a valid number
-       if [[ ${destination} =~ +$ ]]; then
+       if grep -qE "+$" <<<${destination}; then
                local number=0
                destination=$(sed -e "s/+//" <<<$destination)
                while [ "${number}" -le "100" ]; do