Sync filesystems before renames for convenience

diff --git a/dsc b/dsc
index 2c3a03cf4de6fbfbf4ea61dcbf601fd422d7edd7ae0dc3bf05cd0e51df355c4d..0dc1732e2612ef7b95e4f1d105c9d3fa371b0d340c0f61d4f637c818f9cdf8fd 100755 (executable)
--- a/dsc
+++ b/dsc
@@ -235,6 +235,7 @@ switch [lindex $argv 0] {
         file delete -force $Saved.bak
         set tmp $Saved.[expr {int(rand() * 1000000)}]
         file copy $Stash $tmp
+        [exec sync]
         file rename $Saved $Saved.bak
         file rename $tmp $Saved
         file delete -force $Saved.bak