Added another ISO file format check in the burn command.

diff --git a/bashrc b/bashrc
index 86a1f88..6310a94 100644 (file)
--- a/bashrc
+++ b/bashrc
@@ -554,7 +554,7 @@ function burn () {
     if [[ ! "$1" ]]; then
         echo "burn <iso name | dirname>" >&2
     elif [[ -f "$1" ]]; then
-        if [[ $(file "$1" | grep "ISO 9660") ]]; then
+        if [[ $(file "$1" | grep "ISO 9660") ]] || [[ $(file "$1" | grep "UDF filesystem data") ]]; then
             wodim -eject -v dev=${DEVICE} "$1"
         else
             echo "Unknown type of $1" >&2