diff --git a/extras/ide-devfs.sh b/extras/ide-devfs.sh index 8648f6c0c0..1cf6f9c9e4 100644 --- a/extras/ide-devfs.sh +++ b/extras/ide-devfs.sh @@ -18,7 +18,7 @@ get_dev_number() { local x= local num=0 local MEDIA= - local DRIVE="${1%[0-9]*}" + local DRIVE="${1%%[0-9]*}" for x in /proc/ide/*/media; do if [ -e "${x}" ]; then