2016-04-18 23:18:35 -05:00
|
|
|
#!/usr/bin/env bash
|
2017-04-10 22:02:30 -05:00
|
|
|
#
|
|
|
|
|
# firstpush
|
|
|
|
|
#
|
|
|
|
|
# Push a branch to 'origin' and open the
|
|
|
|
|
# commit log to watch Travis CI progress.
|
|
|
|
|
#
|
2016-04-18 23:18:35 -05:00
|
|
|
|
2019-01-23 23:05:42 -06:00
|
|
|
[[ $# == 0 ]] || { echo "usage: `basename $0`" 1>&2 ; exit 1; }
|
2017-07-02 20:43:57 -05:00
|
|
|
|
|
|
|
|
MFINFO=$(mfinfo) || exit 1
|
2017-04-10 22:02:30 -05:00
|
|
|
IFS=' ' read -a INFO <<< "$MFINFO"
|
|
|
|
|
FORK=${INFO[1]}
|
|
|
|
|
REPO=${INFO[2]}
|
2017-07-02 20:43:57 -05:00
|
|
|
BRANCH=${INFO[5]}
|
2017-04-10 22:02:30 -05:00
|
|
|
|
2020-04-22 19:38:10 -05:00
|
|
|
git push --set-upstream origin HEAD:$BRANCH
|
2017-04-10 22:02:30 -05:00
|
|
|
|
2022-07-22 19:30:29 -05:00
|
|
|
OPEN=$( which gnome-open xdg-open open | head -n1 )
|
2017-04-10 22:02:30 -05:00
|
|
|
URL="https://github.com/$FORK/$REPO/commits/$BRANCH"
|
|
|
|
|
|
2019-10-01 22:03:59 -05:00
|
|
|
if [ -z "$OPEN" ]; then
|
2017-04-10 22:02:30 -05:00
|
|
|
echo "Can't find a tool to open the URL:"
|
|
|
|
|
echo $URL
|
|
|
|
|
else
|
|
|
|
|
echo "Viewing commits on $BRANCH..."
|
2019-10-01 22:03:59 -05:00
|
|
|
"$OPEN" "$URL"
|
2017-04-10 22:02:30 -05:00
|
|
|
fi
|
