Add ghci script

This commit is contained in:
Rob Watson 2021-07-27 09:46:44 +02:00
parent d871d6fe75
commit 5a61ff5770
1 changed files with 22 additions and 0 deletions

22
script/ghci Executable file
View File

@ -0,0 +1,22 @@
#!/usr/bin/env bash
#
# Open GitHub CI for the current branch
set -e
export GH_NO_UPDATE_NOTIFIER=1
ghoutput=$(gh pr checks)
if [ ! $exitcode -eq 0 ]; then
exit 1
fi
url=$(echo $ghoutput | grep -o 'https://.*?' | tr -d '?')
if [ $(uname -s) = "Linux" ]; then
progname="xdg-open"
else
progname="open" # macOS
fi
eval "$progname $url"