Skip to content

Instantly share code, notes, and snippets.

@pinnokio
Forked from davidmh/gist:6228319
Created November 13, 2015 15:18
Show Gist options
  • Save pinnokio/ca173c5738ae29488ece to your computer and use it in GitHub Desktop.
Save pinnokio/ca173c5738ae29488ece to your computer and use it in GitHub Desktop.

Revisions

  1. @davidmh davidmh revised this gist Aug 14, 2013. 1 changed file with 2 additions and 2 deletions.
    4 changes: 2 additions & 2 deletions gistfile1.sh
    Original file line number Diff line number Diff line change
    @@ -1,10 +1,10 @@
    function precmd() {
    if command git rev-parse --git-dir > /dev/null 2>&1; then
    window_label=$(git rev-parse --show-toplevel)
    tab_label=$(git rev-parse --show-toplevel | awk -F\/ '{print "[git] " $NF}')
    tab_label=$(echo $window_label | awk -F\/ '{print "[git] " $NF}')
    else
    window_label=${PWD/${HOME}/\~}
    tab_label=${PWD/${HOME}/\~}
    tab_label=$window_label
    fi
    echo -ne "\e]2;${window_label}\a"
    echo -ne "\e]1;${tab_label: -24}\a"
  2. @davidmh davidmh revised this gist Aug 14, 2013. 1 changed file with 1 addition and 1 deletion.
    2 changes: 1 addition & 1 deletion gistfile1.sh
    Original file line number Diff line number Diff line change
    @@ -1,7 +1,7 @@
    function precmd() {
    if command git rev-parse --git-dir > /dev/null 2>&1; then
    window_label=$(git rev-parse --show-toplevel)
    tab_label=$(git rev-parse --show-toplevel | awk -F\/ '{print $NF}')
    tab_label=$(git rev-parse --show-toplevel | awk -F\/ '{print "[git] " $NF}')
    else
    window_label=${PWD/${HOME}/\~}
    tab_label=${PWD/${HOME}/\~}
  3. @davidmh davidmh revised this gist Aug 14, 2013. 1 changed file with 1 addition and 1 deletion.
    2 changes: 1 addition & 1 deletion gistfile1.sh
    Original file line number Diff line number Diff line change
    @@ -4,7 +4,7 @@ function precmd() {
    tab_label=$(git rev-parse --show-toplevel | awk -F\/ '{print $NF}')
    else
    window_label=${PWD/${HOME}/\~}
    tab_label=${window_label}
    tab_label=${PWD/${HOME}/\~}
    fi
    echo -ne "\e]2;${window_label}\a"
    echo -ne "\e]1;${tab_label: -24}\a"
  4. @davidmh davidmh revised this gist Aug 14, 2013. 1 changed file with 1 addition and 1 deletion.
    2 changes: 1 addition & 1 deletion gistfile1.sh
    Original file line number Diff line number Diff line change
    @@ -1,6 +1,6 @@
    function precmd() {
    if command git rev-parse --git-dir > /dev/null 2>&1; then
    window_level=$(git rev-parse --show-toplevel)
    window_label=$(git rev-parse --show-toplevel)
    tab_label=$(git rev-parse --show-toplevel | awk -F\/ '{print $NF}')
    else
    window_label=${PWD/${HOME}/\~}
  5. @davidmh davidmh created this gist Aug 14, 2013.
    11 changes: 11 additions & 0 deletions gistfile1.sh
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,11 @@
    function precmd() {
    if command git rev-parse --git-dir > /dev/null 2>&1; then
    window_level=$(git rev-parse --show-toplevel)
    tab_label=$(git rev-parse --show-toplevel | awk -F\/ '{print $NF}')
    else
    window_label=${PWD/${HOME}/\~}
    tab_label=${window_label}
    fi
    echo -ne "\e]2;${window_label}\a"
    echo -ne "\e]1;${tab_label: -24}\a"
    }