6 ms·

Awesome, I won't pretend to be a bash expert. Any interest in opening a PR?

• jerf 13y ago
  Naw, just go ahead and commit that if you like. That's too much easier to be worth the fork/checkout/commit/push/pull request cycle work in this case.
  • olov 13y ago
    Understandable - but it's pretty easy to do small modifications like that using Github's edit feature. Everything but the editing itself is pretty much hidden away.
    • jerf 13y ago
      Did not know that. Thanks!