From 98168477607044d6df6e680eae82f9d2aaeb98b7 Mon Sep 17 00:00:00 2001 From: Werner Almesberger Date: Wed, 6 Oct 2010 07:28:01 -0300 Subject: [PATCH] Make schhist try harder to do seamless in-place updates. - schhist/schhist2web: create index.html in a temporary file and rename it to index.html only at the end. This way, in-place updates work most of the time. --- schhist/schhist2web | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/schhist/schhist2web b/schhist/schhist2web index dd2a917..5a91d74 100755 --- a/schhist/schhist2web +++ b/schhist/schhist2web @@ -322,7 +322,8 @@ fi # --- Title of the Web page and table header ---------------------------------- -index="$out/index.html" +index="$out/_index.html" +index_final="$out/index.html" all= { cat <>"$index" EOF + +mv "$index" "$index_final"