diff options
author | Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org> | 2022-01-18 04:53:50 +0100 |
---|---|---|
committer | Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org> | 2022-01-18 05:08:40 +0100 |
commit | 0198a494f3d03c76a2cd2ef6f2c98e6571152f53 (patch) | |
tree | 3c28c149417d7d56be54abc6f23927393b578ebc | |
parent | 34dd694dd3206623b8d106afe6967d88684f84e3 (diff) | |
download | vendor_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-x | release.sh | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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" } |