From 1bbd01a9837c5a4297e53701055a309593945fa1 Mon Sep 17 00:00:00 2001 From: Boris Kolpackov Date: Wed, 20 Oct 2021 13:43:58 +0200 Subject: Update intro scripts --- doc/release.cli | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'doc') diff --git a/doc/release.cli b/doc/release.cli index bc37f56..2c34796 100644 --- a/doc/release.cli +++ b/doc/release.cli @@ -154,11 +154,12 @@ distribution from \c{etc/stage} and add the pre-distributed packages \ cd etc - ./intro2-tldr 2>&1 | tee intro2-tldr.out + script -qc ./intro2-tldr intro2-tldr.out && sed -i -e 's/\r//g' intro2-tldr.out diff -u intro2-tldr.orig intro2-tldr.out # Or use gitk. mv intro2-tldr.out intro2-tldr.orig - ./intro2-tour 2>&1 | tee intro2-tour.out + + script -qc ./intro2-tour intro2-tour.out && sed -i -e 's/\r//g' intro2-tour.out diff -u intro2-tour.orig intro2-tour.out # Or use gitk. mv intro2-tour.out intro2-tour.orig \ -- cgit v1.1