title: bash: kill $$ not work?
body: <p>The command <code>kill $$</code> should kill current bash, but it seems that it doesn't work:</p>
  
  <pre><code>$ ps -p $$
    PID TTY          TIME CMD
  18179 pts/4    00:00:00 bash
  $ kill $$
  $ ps -p $$
    PID TTY          TIME CMD
  18179 pts/4    00:00:00 bash
  </code></pre>
  
  <p>Why?</p>