projects
/
scripts.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
d92e217
)
Update.
author
Francois Fleuret
<francois@fleuret.org>
Fri, 3 Jan 2014 09:53:06 +0000
(10:53 +0100)
committer
Francois Fleuret
<francois@fleuret.org>
Fri, 3 Jan 2014 09:53:06 +0000
(10:53 +0100)
bashrc
patch
|
blob
|
history
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 [[ ! "$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
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/
fi
elif [[ -d "$1" ]]; then
[[ "${TMP_ROOT}" ]] || TMP_ROOT=/tmp/