自学碰到关于shell的几个小问题

提取文件夹下所有的文件名，并只把文件名以bad开头后面八位二进制数改为十进制如何用shell脚本编写。例如：bad00000001 rename：bad1，bad0001 echo：不满足八位二进制数，cat00000001，echo：不是以bad开头。 求助大神，谢谢。

#! /usr/bin/bash

FILE_PREFIX="bad"

for file in `ls -1`
do 
    if [[ !($file =~ ^$FILE_PREFIX) ]]
    then
        echo "$file: 不是以bad开头"
        continue
    fi

    if [[ !($file =~ ^...[0-1]{8}$) ]]
    then
        echo "$file: 不满足八位二进制数"
        continue
    fi

    let num=${file:${#FILE_PREFIX}}
    new_file=$FILE_PREFIX$num
    mv $file $new_file
    echo "$file: 重命名为 $new_file"
done