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