David Cotter davidcotter

## Git branch in bash prompt
# Git branch in bash prompt
# At the top of .bashrc
function parse_git_branch {
  git branch --no-color 2> /dev/null | sed -e '/^[^*]/d' -e 's/* \(.*\)/(\1)/'
}

function prompt_with_git_branch {
  case $TERM in
    xterm*)
    TITLEBAR='\[\033]0;\u@\h:\w\007\]'

## git branching notes
# Git branching notes
#Local Branching
git branch #show branches and which one you are currently on

git push   #push any local changes to the remote repo

git branch david  #create a local branch

git checkout david #switch to that branch

## go.html
<html>
<head>
<script src="https://crypto.stanford.edu/sjcl/sjcl.js"></script>
<script src="https://code.jquery.com/jquery-3.0.0.js" integrity="sha256-jrPLZ+8vDxt2FnE1zvZXCkCcebI/C8Dt5xyaQBjxQIo=" crossorigin="anonymous"></script>
</head>
<body>
<form id="form">
<br/>Plain: <input type="text" name="plain">
<br/>Password: <input type="text" name="password">
<br/><a href="#" id="go">Go</a>
	# Git branch in bash prompt
	# At the top of .bashrc
	function parse_git_branch {
	git branch --no-color 2> /dev/null \| sed -e '/^[^]/d' -e 's/ \(.*\)/(\1)/'
	}

	function prompt_with_git_branch {
	case $TERM in
	xterm*)
	TITLEBAR='\[\033]0;\u@\h:\w\007\]'
	# Git branching notes
	#Local Branching
	git branch #show branches and which one you are currently on

	git push #push any local changes to the remote repo

	git branch david #create a local branch

	git checkout david #switch to that branch
	<html>
	<head>
	<script src="https://crypto.stanford.edu/sjcl/sjcl.js"></script>
	<script src="https://code.jquery.com/jquery-3.0.0.js" integrity="sha256-jrPLZ+8vDxt2FnE1zvZXCkCcebI/C8Dt5xyaQBjxQIo=" crossorigin="anonymous"></script>
	</head>
	<body>
	<form id="form">
	<br/>Plain: <input type="text" name="plain">
	<br/>Password: <input type="text" name="password">
	<br/><a href="#" id="go">Go</a>