# Yeah, I know.... but I don't know other way to keep
# .bashrc and .tcshrc identical all the time...

/bin/bash .bashrc
