I hereby claim:
- I am fluxrad on github.
- I am fluxrad (https://keybase.io/fluxrad) on keybase.
- I have a public key ASAqmZbGFe3T3u48LvrAf3_r8MIAmmFvzkC5KYfGmAfNGgo
To claim this, I am signing this object:
Aaron Mills fluxrad
fluxrad
/ docker-up-or-reboot.sh
Created
May 18, 2016 13:58
A script to check if the Docker daemon is up. If not, reboot after three failed docker ps commands.
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
| #!/bin/bash | |
| SLEEP_SECONDS=600 | |
| while true; do | |
| for i in `seq 1 3`; do | |
| timeout 5 docker ps -q && break || echo "Docker daemon is not running. Rebooting" | |
| if [[ $i -eq 3 ]]; then | |
| reboot |
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
| [Scheme] | |
| Name=One Dark | |
| ColorForeground=#ABB2BF | |
| ColorCursor=#ABB2BF | |
| ColorBackground=#282C34 | |
| ColorSelection=#3B4451 | |
| ColorSelectionUseDefault=FALSE | |
| ColorBold=#B9C0CB | |
| ColorBoldUseDefault=FALSE | |
| ColorPalette=#282C34;#E06C75;#98C379;#E5C07B;#61AFEF;#C678DD;#56B6C2;#ABB2BF;#3E4452;#BE5046;#98C379;#D19A66;#61AFEF;#C678DD;#56B6C2;#5C6370 |
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
| // ==UserScript== | |
| // @name MR Unstagnator | |
| // @namespace http://marginalrevolution.com/ | |
| // @version 0.1 | |
| // @description Make MR look better and more usable. | |
| // @author Aaron Mills | |
| // @match http*://marginalrevolution.com/* | |
| // @grant GM_addStyle | |
| // ==/UserScript== |
OlderNewer