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 /common.sh | |
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>
Diffstat (limited to 'common.sh')
0 files changed, 0 insertions, 0 deletions