diff options
| author |   Diego Elio 'Flameeyes' Pettenò <flameeyes@gmail.com> | 2010-09-02 17:01:23 +0200 |
|---|---|---|
| committer | Diego Elio 'Flameeyes' Pettenò <flameeyes@gmail.com> | 2010-09-02 17:01:23 +0200 |
| commit | 43fe5acde6e5fa8ad08fb657be823f57627e04f0 (patch) | |
| tree | 3257fe44ee104dc0353e50b34dd0050d56cba06e /bashrc | |
| parent | Use bti --background for sending out the dents (reduces latency between merges). (diff) | |
| download | flameeyes-tinderbox-43fe5acde6e5fa8ad08fb657be823f57627e04f0.tar.gz flameeyes-tinderbox-43fe5acde6e5fa8ad08fb657be823f57627e04f0.tar.bz2 flameeyes-tinderbox-43fe5acde6e5fa8ad08fb657be823f57627e04f0.zip | |
Add a script to continuously run the tinderbox without halting it for restarts.
Diffstat (limited to 'bashrc')
0 files changed, 0 insertions, 0 deletions