diff options
| author | Teddy Wing | 2018-02-20 23:11:07 +0100 |
|---|---|---|
| committer | Teddy Wing | 2018-02-20 23:11:07 +0100 |
| commit | 60d936dfbaa259c6f04cf1361955e6087c3aef78 (patch) | |
| tree | acf2474437b3c45647c91da40b0bdf506afa9bb5 | |
| parent | 63c4a1a2d0037688f89416bf76127ed2120761cc (diff) | |
| download | git-branch-list-60d936dfbaa259c6f04cf1361955e6087c3aef78.tar.bz2 | |
git-branch-list(save_branch): Don't add branch if already saved
Don't add existing branches to the database. We don't want any duplicate
branch names cluttering the shortcut list.
| -rwxr-xr-x | git-branch-list | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/git-branch-list b/git-branch-list index 2569dc0..bd85160 100755 --- a/git-branch-list +++ b/git-branch-list @@ -23,10 +23,13 @@ function save_branch () { # # echo "$branch" >> "$DATABASE" + if fgrep "$branch" "$DATABASE" > /dev/null; then + return 1 + fi + cat <(echo "$branch") "$DATABASE" > "${DATABASE}.bak" mv "${DATABASE}.bak" "$DATABASE" - # TODO: don't save if already added # TODO: append instead of prepend so IDs stay the same. Maybe? } |