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
|
|
|
|
|
|
|
|
git push --set-upstream origin $BRANCH
|
|
|
|
|
|
|
|
|
|
TOOL=$(which gnome-open xdg-open open | awk '{ print $1 }')
|
|
|
|
|
URL="https://github.com/$FORK/$REPO/commits/$BRANCH"
|
|
|
|
|
|
|
|
|
|
if [ -z "$TOOL" ]; then
|
|
|
|
|
echo "Can't find a tool to open the URL:"
|
|
|
|
|
echo $URL
|
|
|
|
|
else
|
|
|
|
|
echo "Viewing commits on $BRANCH..."
|
|
|
|
|
"$TOOL" "$URL"
|
|
|
|
|
fi
|
