Update.

diff --git a/bashrc b/bashrc
index 6310a94..b4da27d 100644 (file)
--- a/bashrc
+++ b/bashrc
@@ -554,10 +554,10 @@ function burn () {
     if [[ ! "$1" ]]; then
         echo "burn <iso name | dirname>" >&2
     elif [[ -f "$1" ]]; then
-        if [[ $(file "$1" | grep "ISO 9660") ]] || [[ $(file "$1" | grep "UDF filesystem data") ]]; then
+        if [[ $(file "$1" | \grep -E 'ISO 9660|UDF filesystem data') ]]; then
             wodim -eject -v dev=${DEVICE} "$1"
         else
-            echo "Unknown type of $1" >&2
+            echo "Do not know what to do with $1" >&2
         fi
     elif [[ -d "$1" ]]; then
         [[ "${TMP_ROOT}" ]] || TMP_ROOT=/tmp/