time.google.com
time1.google.com
time2.google.com
time3.google.com
Jeff Pratt clementi
clementi
/ Public_Time_Servers.md
Created
January 27, 2021 23:52
— forked from mutin-sa/Top_Public_Time_Servers.md
List of Top Public Time Servers
clementi
/ show-git-in-bash.sh
Created
March 8, 2011 21:29
— forked from henrik/.bashrc
Show Git branch in the bash prompt
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # http://henrik.nyh.se/2008/12/git-dirty-prompt | |
| # http://www.simplisticcomplexity.com/2008/03/13/show-your-git-branch-name-in-your-prompt/ | |
| # username@Machine ~/dev/dir[master]$ # clean working directory | |
| # username@Machine ~/dev/dir[master*]$ # dirty working directory | |
| function parse_git_dirty { | |
| [[ $(git status 2> /dev/null | tail -n1) != "nothing to commit (working directory clean)" ]] && echo "*" | |
| } | |
| function parse_git_branch { | |
| git branch --no-color 2> /dev/null | sed -e '/^[^*]/d' -e "s/* \(.*\)/[\1$(parse_git_dirty)]/" |