title: How to convert a string into a BASH array?
body: <p>Given the following string, produced by <a href="https://github.com/micha/jsawk" rel="nofollow">jsawk</a>:</p>
  
  <pre><code>[123,456,789]
  </code></pre>
  
  <p>Is there an idiomatic way of converting this into an array in BASH?</p>