title: How to source additional file when launching bash
body: <p>Bash will source automatic profiles such as <code>.bashrc</code>. <code>--rcfile</code> option can be used to override the automatic script. But I need to source <em>additional</em> personalized file (that's the automatic script plus another file) when launching the bash shell <strong>without touching ANY files in <code>$HOME</code> or <code>/etc</code> directory</strong> since <code>$HOME</code> directory belongs to application run user. The personalized file must not be located in <code>$HOME</code> directory.
  Is this possible?</p>
  
  <p>I tried:</p>
  
  <pre><code>    /bin/bash &lt;&lt;EOF
      . /a-directory-outside-of-home/vanilla
      EOF
  </code></pre>
  
  <p>but it returned to the current shell.</p>