slaesvuo/hledger
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

;dev: push: ensure git's pager doesn't stop progress

Browse Source
This commit is contained in:
Simon Michael 2023-05-27 12:47:32 -10:00
parent 96cdc0cb96
commit 502b80ad81
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
tools/push
View File

@ -36,6 +36,9 @@ ciwait() {
sleep $MAINPUSHDELAY sleep $MAINPUSHDELAY
} }
# ensure git's use of pager doesn't stop progress
export PAGER=cat
echo "latest local commits are:" echo "latest local commits are:"
gitlog gitlog
echo "force-pushing $LOCALBRANCH to $REMOTE/$REMOTECIBRANCH" echo "force-pushing $LOCALBRANCH to $REMOTE/$REMOTECIBRANCH"