Files
jigdo/04.jigdo-lite-tmpdir.patch
2018-01-17 03:52:05 -08:00

12 lines
419 B
Diff

--- jigdo-0.7.3.orig/scripts/jigdo-lite
+++ jigdo-0.7.3/scripts/jigdo-lite
@@ -510,7 +514,7 @@
list="$image.list"
# Create name of temporary dir, by stripping extension from $image
- imageTmp="`echo $image | sed 's%\.\(tmp|iso|raw\)%%'`"
+ imageTmp="$tmpDir/`echo $image | sed 's%\.\(tmp|iso|raw\)%%'`.tmpdir"
if test -f "$imageTmp" -o "x$imageTmp" = "x$image"; then
imageTmp="$imageTmp.tmpdir"
fi