title: ksh variable value not printed
body: <p>I am trying to run the following script but the value of the variable <code>$user</code> does not get printed.  Can someone please explain?</p>
  
  <pre><code>#!/usr/bin/ksh -x
  
  x=`tty`
  at -k now &lt;&lt;end
          user=Bill
          echo $user &gt;&gt; $x
  end
  </code></pre>