Skip to content

Instantly share code, notes, and snippets.

@gilesbowkett
Created January 11, 2018 17:27
Embed
What would you like to do?
function this() { # obtain git branch
git branch 2> /dev/null | sed -e '/^[^*]/d' -e 's/* \(.*\)/\1/'
}
# https://superuser.com/a/599156
function tab-title {
echo -ne "\033]0;"$*"\007"
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment