diff options
| author | md@Linux.IT <md@Linux.IT> | 2004-03-27 01:21:41 -0800 |
|---|---|---|
| committer | Greg KH <gregkh@suse.de> | 2005-04-26 21:35:12 -0700 |
| commit | c2818554cee064360b8a3ed543fe30349096a74a (patch) | |
| tree | 2b872ae60bdff5765ed22040f7f670d09d01e6a6 /extras/ide-devfs.sh | |
| parent | d0dede8f9af8d17d556c969adedd97b40c931920 (diff) | |
[PATCH] small ide-devfs.sh fix
The file may not exist and errors would be spewed on the console.
Diffstat (limited to 'extras/ide-devfs.sh')
| -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 e5bf177f8b..22d09d7a5a 100644 --- a/extras/ide-devfs.sh +++ b/extras/ide-devfs.sh @@ -35,7 +35,7 @@ get_dev_number() { echo $((${num} - 1)) } -if [ -z "$3" ]; then +if [ -z "$3" -a -f /proc/ide/${1}/media ]; then MEDIA=`cat /proc/ide/${1}/media` if [ "${MEDIA}" = "cdrom" ]; then echo ide/host${HOST}/bus${BUS}/target${TARGET}/lun0/cd cdroms/cdrom`get_dev_number $1 cdrom` |