Skip to content

Instantly share code, notes, and snippets.

@gabrielpoca
Last active June 1, 2016 17:21
Show Gist options
  • Select an option

  • Save gabrielpoca/3ba69c560db8c9674dcf9963cb14685d to your computer and use it in GitHub Desktop.

Select an option

Save gabrielpoca/3ba69c560db8c9674dcf9963cb14685d to your computer and use it in GitHub Desktop.
Wait for the CI
# I'm using git as an alias for hub
# wait for the CI to finish and print the result
wait_for_ci() {
while [ "$(git ci-status)" == "pending" ]; do sleep 4; done; git ci-status
}
# or wait for the CI but play some music instead
wait_for_ci() {
while [ "$(git ci-status)" == "pending" ]; do sleep 4; done; radio 3
}
# it's portuguese radio :)
radio() {
if [ "$@" == "3" ]; then
mplayer mms://rdp.oninet.pt/antena3
elif [ "$@" == "1" ]; then
mplayer mms://195.245.168.21/antena1
else
echo "Radio \"$1\" not recognized"
fi
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment