Skip to content

Instantly share code, notes, and snippets.

<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 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
@davidcotter
davidcotter / Git branch in bash prompt
Created May 24, 2009 14:46
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\]'