.bash_profile: Use tabs for indenting

Then folks can set tab-width to whatever they like.

diff --git a/src/.bash_profile b/src/.bash_profile
index cc0a755e02dc4654ff10d0d4f00d641ff69b83b1..a60b37daae7da89c8c1f329c7c1e475a9697226f 100644 (file)
--- a/src/.bash_profile
+++ b/src/.bash_profile
@@ -5,12 +5,12 @@ PATH="${PATH}":/usr/sbin:/sbin
 
 # set PATH so it includes user's local bin if it exists
 if [ -d "${HOME}"/.local/bin ]; then
-    PATH="${HOME}"/.local/bin:"${PATH}"
+       PATH="${HOME}"/.local/bin:"${PATH}"
 fi
 
 # set PATH so it includes user's personal bin if it exists
 if [ -d "${HOME}"/bin ]; then
-    PATH="${HOME}"/bin:"${PATH}"
+       PATH="${HOME}"/bin:"${PATH}"
 fi
 
 # The following line runs your .bashrc and is recommended by the bash
@@ -23,5 +23,5 @@ fi
 # http://bsdcalendar.sourceforge.net/  (Gentoo: app-misc/calendar)
 CALENDAR=$(command -v calendar)
 if [ -n "${CALENDAR}" ] && [ -f ~/.calendar/calendar ]; then
-    calendar
+       calendar
 fi