From d92e2171fecce63b494de47541a13fee4e093331 Mon Sep 17 00:00:00 2001
From: Francois Fleuret <francois@fleuret.org>
Date: Fri, 3 Jan 2014 10:51:12 +0100
Subject: [PATCH] Added another ISO file format check in the burn command.

---
 bashrc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bashrc b/bashrc
index 86a1f88..6310a94 100644
--- 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
-- 
2.20.1