chiark
/
gitweb
/
~cjwatson
/
bin.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
ubuntu-daily: explicitly mount ro
[bin.git]
/
ubuntu-daily
diff --git
a/ubuntu-daily
b/ubuntu-daily
index 9322569ab335c8178efcea560ec5faa7c9390037..fed9db23310539219794de56e8a165317cde6455 100755
(executable)
--- a/
ubuntu-daily
+++ b/
ubuntu-daily
@@
-119,7
+119,7
@@
else
EXISTING=:
mv "$LOCAL.iso" "$LOCAL.iso.old"
mkdir -p "old-$2"
- sudo mount -o loop "$LOCAL.iso.old" "old-$2"
+ sudo mount -o loop
,ro
"$LOCAL.iso.old" "old-$2"
fi
ionice -c2 -n7 jigdo-lite "$LOCAL.jigdo"
if $EXISTING; then