title: Insert characters Into a string in bash?
body: <p>I need to turn the string <code>"125959"</code> into <code>"12:59:59"</code>.</p>
  
  <p>Obviously, the string is the time so regular expressions aren't much good here.</p>