From 7cec32d821f2ab50b2da5ce91019b029129f5172 Mon Sep 17 00:00:00 2001
From: Fernando Schauenburg <dev@schauenburg.me>
Date: Wed, 4 Nov 2015 13:11:30 +0100
Subject: [PATCH] Minor comment cleanup

---
 bash_profile | 10 +---------
 1 file changed, 1 insertion(+), 9 deletions(-)

diff --git a/bash_profile b/bash_profile
index fba96c1..cda11fd 100644
--- a/bash_profile
+++ b/bash_profile
@@ -22,9 +22,7 @@ do
     [ -d "$p" ] && export MANPATH="$p:$MANPATH"
 done
 
-#
-# Aliases
-#
+# Useful aliases
 alias g="git"
 alias ls="ls --color=auto"
 alias l="ls -F"
@@ -39,22 +37,16 @@ alias vi="vim"
 alias path='echo $PATH | tr -s ":" "\n"'
 alias manpath='echo $MANPATH | tr -s ":" "\n"'
 
-#
 # Shell options
-#
 for option in cdspell checkwinsize globstar histappend nocaseglob
 do
     shopt -s "$option" 2> /dev/null
 done
 
-#
 # ~/.bashrc.local can be used for local settings (not in repository)
-#
 [ -f ~/.bashrc.local ] && . ~/.bashrc.local
 
-#
 # Solarized shell & prompt
-#
 
 setcolor() (
     IFS=""  # $* should be joined without spaces