title: $HOME/bin in path on Linux Mint 14
body: <p>I'd like to amend my user's path in Linux Mint 14 Cinnamon to include $HOME/bin in my user's $PATH.</p>
  
  <p>Warning: simply adding to .profile does not seem to work, even though other commands in .profile are called correctly and even though it works when calling source .profile explicitly.</p>
  
  <p>What are my alternatives?</p>