1 # Main bash configuration file.
3 # Is sourced by all interactive bash shells and other shells like scp or rcp.
5 # Copyright (C) 2011-2013 Simon Ruderich
7 # This file is free software: you can redistribute it and/or modify
8 # it under the terms of the GNU General Public License as published by
9 # the Free Software Foundation, either version 3 of the License, or
10 # (at your option) any later version.
12 # This file is distributed in the hope that it will be useful,
13 # but WITHOUT ANY WARRANTY; without even the implied warranty of
14 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 # GNU General Public License for more details.
17 # You should have received a copy of the GNU General Public License
18 # along with this file. If not, see <http://www.gnu.org/licenses/>.
23 source_config ~/.shell/env
26 # Check if this is an interactive shell. Abort if not to prevent problems with
27 # scp and rcp. Taken from default Debian bashrc. Thanks.
28 if [[ $- != *i* ]]; then
33 # Set the prompt; hostname and current working directory are displayed.
34 # Hostname is displayed in bold green, current directory in yellow.
35 PS1='\[\033[01;32m\]\h\[\033[00m\]:\[\033[33m\]\w\[\033[00m\] \$ '
37 # Use Vi(m) style in bash.
41 source_config ~/.shell/aliases
42 source_config ~/.shell/rc
44 source_config ~/.bash/rc.local