aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDenis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org>2022-01-18 04:53:50 +0100
committerDenis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org>2022-01-18 05:08:40 +0100
commit0198a494f3d03c76a2cd2ef6f2c98e6571152f53 (patch)
tree3c28c149417d7d56be54abc6f23927393b578ebc
parent34dd694dd3206623b8d106afe6967d88684f84e3 (diff)
downloadvendor_replicant-release-scripts-0198a494f3d03c76a2cd2ef6f2c98e6571152f53.tar.gz
vendor_replicant-release-scripts-0198a494f3d03c76a2cd2ef6f2c98e6571152f53.tar.bz2
vendor_replicant-release-scripts-0198a494f3d03c76a2cd2ef6f2c98e6571152f53.zip
release.sh: metadata: remove blocking pager
Without that fix, when releasing the metadata, the release.sh script blocks with a pager with the following content: Saved manifest to [...]/metadata/manifest.xml If the user press 'q', the pager exit and the release proceed. This removes this pager and makes the release proceed without human intervention anymore. Signed-off-by: Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org>
-rwxr-xr-xrelease.sh4
1 files changed, 2 insertions, 2 deletions
diff --git a/release.sh b/release.sh
index 68d8efa..b6a97e1 100755
--- a/release.sh
+++ b/release.sh
@@ -189,7 +189,7 @@ release_metadata_git () {
done > "$METADATA/git-tags.txt"
- $REPO list -p | while read git_repo
+ $REPO --no-pager list -p | while read git_repo
do
if ! [ "$git_repo" = "manifest" ]
then
@@ -201,7 +201,7 @@ release_metadata_git () {
fi
done >> "$METADATA/git-tags.txt"
- $REPO manifest -r -o "$METADATA/manifest.xml"
+ $REPO --no-pager manifest -r -o "$METADATA/manifest.xml"
cd "$dir"
}