title: bash : Bad Substitution
body: <pre><code>#!/bin/bash
  
  jobname=&quot;job_201312161447_0003&quot;
  jobname_pre=${jobname:0:16}
  jobname_post=${jobname:17}
  </code></pre>
  <p>This bash script gives me Bad substitution error on ubuntu. Any help will be highly appreciated.</p>