contrib: show pull # in prompt for github-merge script
This commit is contained in:
parent
7f76dda903
commit
6e6a36ce30
1 changed files with 3 additions and 0 deletions
|
@ -136,6 +136,9 @@ else
|
||||||
echo "Dropping you on a shell so you can try building/testing the merged source." >&2
|
echo "Dropping you on a shell so you can try building/testing the merged source." >&2
|
||||||
echo "Run 'git diff HEAD~' to show the changes being merged." >&2
|
echo "Run 'git diff HEAD~' to show the changes being merged." >&2
|
||||||
echo "Type 'exit' when done." >&2
|
echo "Type 'exit' when done." >&2
|
||||||
|
if [[ -f /etc/debian_version ]]; then # Show pull number in prompt on Debian default prompt
|
||||||
|
export debian_chroot="$PULL"
|
||||||
|
fi
|
||||||
bash -i
|
bash -i
|
||||||
read -p "Press 'm' to accept the merge. " -n 1 -r >&2
|
read -p "Press 'm' to accept the merge. " -n 1 -r >&2
|
||||||
echo
|
echo
|
||||||
|
|
Loading…
Reference in a new issue