assemble-all-pages: fix a bug (stopped working when grep returned nothing)

diff --git a/en/kitchen/assemble-all-pages b/en/kitchen/assemble-all-pages
index 7cfdb8108e43d7c64e27080b84e094de38052c15..75e459c5ba6d55c37b4510f7c1996866de755d8c 100755 (executable)
--- a/en/kitchen/assemble-all-pages
+++ b/en/kitchen/assemble-all-pages
@@ -99,10 +99,9 @@ echo 'windows' >> $names
 
 while read name ; do
   # Find out which deletions apply.
-  grep '^<!-- START DELETION' ../$name.html \
-  | grep -v "$name" \
-  | sed 's%^<!-- START DELETION \([0-9][0-9]\),.*$%\1%' > $list
-  echo $name
+  grep '^<!-- START DELETION' ../$name.html |
+  grep -v "$name" > $list || true
+  sed -i 's%^<!-- START DELETION \([0-9][0-9]\),.*$%\1%' $list
   # Delete.
   while read deletion; do
     sed -i "/^<!-- START DELETION $deletion/, \

diff --git a/fr/kitchen/assemble-all-pages b/fr/kitchen/assemble-all-pages
index 7cfdb8108e43d7c64e27080b84e094de38052c15..75e459c5ba6d55c37b4510f7c1996866de755d8c 100755 (executable)
--- a/fr/kitchen/assemble-all-pages
+++ b/fr/kitchen/assemble-all-pages
@@ -99,10 +99,9 @@ echo 'windows' >> $names
 
 while read name ; do
   # Find out which deletions apply.
-  grep '^<!-- START DELETION' ../$name.html \
-  | grep -v "$name" \
-  | sed 's%^<!-- START DELETION \([0-9][0-9]\),.*$%\1%' > $list
-  echo $name
+  grep '^<!-- START DELETION' ../$name.html |
+  grep -v "$name" > $list || true
+  sed -i 's%^<!-- START DELETION \([0-9][0-9]\),.*$%\1%' $list
   # Delete.
   while read deletion; do
     sed -i "/^<!-- START DELETION $deletion/, \

diff --git a/ru/kitchen/assemble-all-pages b/ru/kitchen/assemble-all-pages
index 6279e6c5ba3a66da76c61f836ba9daf9cfd4c8fe..75e459c5ba6d55c37b4510f7c1996866de755d8c 100755 (executable)
--- a/ru/kitchen/assemble-all-pages
+++ b/ru/kitchen/assemble-all-pages
@@ -47,9 +47,8 @@ set -e
 set -o pipefail
 
 function close_term () {
-  echo;
-  echo '*** Close the terminal window or press Return.';
-  exit $1
+  printf '\n%s' '*** Close the terminal window or press Return.'; read OK
+  test -z "$OK" && exit $1
 }
 
 # Create temporary files.
@@ -100,10 +99,9 @@ echo 'windows' >> $names
 
 while read name ; do
   # Find out which deletions apply.
-  grep '^<!-- START DELETION' ../$name.html \
-  | grep -v "$name" \
-  | sed 's%^<!-- START DELETION \([0-9][0-9]\),.*$%\1%' > $list
-  echo $name
+  grep '^<!-- START DELETION' ../$name.html |
+  grep -v "$name" > $list || true
+  sed -i 's%^<!-- START DELETION \([0-9][0-9]\),.*$%\1%' $list
   # Delete.
   while read deletion; do
     sed -i "/^<!-- START DELETION $deletion/, \