diff options
| -rwxr-xr-x | git-branch-list | 12 | 
1 files changed, 0 insertions, 12 deletions
| diff --git a/git-branch-list b/git-branch-list index 167bad4..9a24ccf 100755 --- a/git-branch-list +++ b/git-branch-list @@ -2,8 +2,6 @@  # git branch-list/bl [save|drop|#id] -# database= -# if -f .git then database= .git/info/git-branch-list  DATABASE=.git/info/git-branch-list  function initialise_database () { @@ -15,22 +13,12 @@ function initialise_database () {  function save_branch () {  	local branch=$(branch_or_current_branch "$1") -# 	sed -i '.bak' "0i\\ -# $branch -# " "$DATABASE" -# -# 	rm "${DATABASE}.bak" - -# 	# echo "$branch" >> "$DATABASE" -  	if fgrep "$branch" "$DATABASE" > /dev/null; then  		return 1  	fi  	cat <(echo "$branch") "$DATABASE" > "${DATABASE}.bak"  	mv "${DATABASE}.bak" "$DATABASE" - -	# TODO: append instead of prepend so IDs stay the same. Maybe?  }  function drop_branch () { | 
