From ae7f4b84ee0a0d6302f98d48d1720b255cf3ec40 Mon Sep 17 00:00:00 2001
From: Francois Fleuret <francois@fleuret.org>
Date: Fri, 3 Jan 2014 10:53:06 +0100
Subject: [PATCH] Update.

---
 bashrc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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