1
vote
2answers
1k views

Gnome terminal is not running source .bashrc?

I have a clean installation of Ubuntu 12 and I installed bashmarks, a utility to have favorites folders on the terminal. One of the steps is to include source ~/.local/bin/bashmarks.sh at the end of ...
21
votes
3answers
13k views

Why ~/.bash_profile is not getting sourced when opening a terminal?

Problem I have an Ubuntu 11.04 Virtual Machine and I wanted to set up my Java development environment. I did as follows sudo apt-get install openjdk-6-jdk Added the following entries to ...