Jeff Pratt clementi

## Public_Time_Servers.md

      
              1 file
            
          
              0 forks
            
          
              0 comments
            
          
              0 stars
            
          
                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
              
          
    Google Public NTP [AS15169]:

time.google.com
time1.google.com
time2.google.com
time3.google.com

  
## show-git-in-bash.sh
# 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)]/"
	# 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)]/"