Faith Club

24.4.14 21:50
make 'dev' and 'tomcat' terminal profiles: size 160x60
title: prepend
run custom command: bash -c 'PROFILE=dev exec bash'

in .bashrc set:
```
HISTCONTROL=ignoreboth:erasedups
...
if [[ -n $PROFILE ]]; then
    HISTFILE=~/bash_history.$PROFILE
fi
```
this way, your tomcat profile will contain command history related to running/shutting down tomcat, dev terminal will contain your build commands, etc.

bonus tip: use following to set terminal title to name of currently building directory. then you can see which build is running.
```
function title {
    echo -en "\033]2;$1\007"
}

title "building ${PWD##*/}"
```
add "gedit buildlog.txt &" to end of build script, to notify you when build is done and immediately give you build log.
gedit is best because it will reload the file if it's already open.
Tags: linux