Skip to content

Instantly share code, notes, and snippets.

@davidmh

davidmh/gist:6228319

Last active June 26, 2018 15:57
Show Gist options
  • Save davidmh/6228319 to your computer and use it in GitHub Desktop.
Save davidmh/6228319 to your computer and use it in GitHub Desktop.
Download ZIP

Revisions

  1. davidmh revised this gist Aug 14, 2013. 1 changed file with 2 additions and 2 deletions.
    4 changes: 2 additions & 2 deletions gistfile1.sh
    View file
    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 revised this gist Aug 14, 2013. 1 changed file with 1 addition and 1 deletion.
    2 changes: 1 addition & 1 deletion gistfile1.sh
    View file
    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 revised this gist Aug 14, 2013. 1 changed file with 1 addition and 1 deletion.
    2 changes: 1 addition & 1 deletion gistfile1.sh
    View file
    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 revised this gist Aug 14, 2013. 1 changed file with 1 addition and 1 deletion.
    2 changes: 1 addition & 1 deletion gistfile1.sh
    View file
    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 created this gist Aug 14, 2013.
    11 changes: 11 additions & 0 deletions gistfile1.sh
    View file
    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"
    }