How to set a convenient profile gnome-terminal: JHBuild Shell example
A step by step guide on how to set up a convenient profile for gnome-terminal so it is easy to identify what shell you are using.
Edit $HOME/.bashrc by adding the following lines:
if [ -n "$UNDER_JHBUILD" ]; then PS1="[JHBuild@\W] " fi
If you think you will be working in the directories where your git modules check in and install to it is also worth adding the line cd $HOME/gnome click 'Details' for more instruction on what to do or otherwise skip straight to Step 2.
Here I have assumed that your prefix and checkout are set to $HOME/gnome/install and $HOME/gnome/source, respectively.
You can find out your prefix and checkout root by checking your .jhbuildrc if you have one or otherwise checking defaults.jhbuildrc
if [ -n "$UNDER_JHBUILD" ]; then PS1="[JHBuild@\W] " cd $HOME/gnome fi
In an open terminal go to edit > profile preferences
From the profile preferences dialogue go to the title and command tab and type "JHBuild" into the "initial title" field.
From the title and command tab select the 'run custom command instead of my shell' and type "jhbuild shell" (all lower case) into the "custom command" field:
Screenshot to demonstrate what is needed for Step 3. to Step 4.
In an open terminal go to file > open terminal > jhbuild
If that worked, then the fresh profile window should look something like this