diff options
author | elkropac@students.zcu.cz <elkropac@students.zcu.cz> | 2004-02-03 00:20:31 -0800 |
---|---|---|
committer | Greg KH <gregkh@suse.de> | 2005-04-26 21:32:24 -0700 |
commit | c7e2a0bc082321bceea7ac86fa6e1a42bcc91072 (patch) | |
tree | 11d30a872acfeeaae2b2da9885043e3ae5041bfa | |
parent | 786f9231961cc12e59cce3e3ad117ad976adf6f5 (diff) |
[PATCH] get_dev_number() in extras/ide-devfs.sh
this patch corrects ide devices with number greater than 9 being linked
into wrong discs/discX directories (my hda10 device was in discs/disc1
directory)
it adds % into pattern for $DRIVE, so for example, hda10 is not eaten
to hda1, but to hda, and break in for cycle works for it
-rw-r--r-- | extras/ide-devfs.sh | 2 |
1 files changed, 1 insertions, 1 deletions
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 |