diff options
author | Christian Rebischke <chris@nullday.de> | 2019-10-15 13:57:26 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-10-15 13:57:26 +0200 |
commit | ec46f71b348ce4fbeaf3dde4923a530517a38481 (patch) | |
tree | 6b660557160617976e714e89ac539db27105dcda | |
parent | 25aeda9fc85882dea03874506881fc959b53b8ff (diff) | |
parent | 734c592ff72bbc3ad51865ee9af2798d9a2b6d6d (diff) |
Merge pull request #63 from coderobe/patch-41.3.2
write_zeroes: flush buffers before writing zeroes
-rw-r--r-- | provision/write_zeroes.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/provision/write_zeroes.sh b/provision/write_zeroes.sh index fc81c3d..6151369 100644 --- a/provision/write_zeroes.sh +++ b/provision/write_zeroes.sh @@ -3,6 +3,8 @@ set -e set -x +# Make sure unwritten data has been flushed beforehand +sync # Write zeros to improve virtual disk compaction. zerofile=$(/usr/bin/mktemp /zerofile.XXXXX) dd if=/dev/zero of="$zerofile" bs=1M || true |