title: bash argval not read
body: <p>Here is the content of my bash script:</p>
  
  <pre><code> #!/bin/bash
  
   set INPFILE=$argv[1]
  
   echo "Your input file is "
   echo $INPFILE
  </code></pre>
  
  <p>and I execute it as:</p>
  
  <pre><code> $ ./script.sh inputfile.in
  </code></pre>
  
  <p>For some reason, bash doesn't accept the <code>argval[1]</code>. I do not receive an error either.</p>
  
  <p>BTW, the output is:</p>
  
  <pre><code> Your input file is
  </code></pre>