annotate bashrc/bash_profile @ 174:7b34721d0d3d

Fix UI problems in Firefox 29+.
author Ludovic Chabant <ludovic@chabant.com>
date Sat, 07 Jun 2014 18:14:56 -0700
parents 2e0fbe44e9fe
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
81
2e0fbe44e9fe Updated bashrc files.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
1
2e0fbe44e9fe Updated bashrc files.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
2 # include .bashrc if it exists
2e0fbe44e9fe Updated bashrc files.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
3 if [ -f ~/.bashrc ]; then
2e0fbe44e9fe Updated bashrc files.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
4 . ~/.bashrc
2e0fbe44e9fe Updated bashrc files.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
5 fi
2e0fbe44e9fe Updated bashrc files.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
6