Last active
June 1, 2016 17:21
-
-
Save gabrielpoca/3ba69c560db8c9674dcf9963cb14685d to your computer and use it in GitHub Desktop.
Wait for the CI
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # 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