| merged_branches(){ | |
| local red=`tput setaf 1` | |
| local green=`tput setaf 2` | |
| local bold=`tput bold` | |
| local reset=`tput sgr0` | |
| local current_branch=$(git rev-parse --abbrev-ref HEAD) | |
| for branch in $(git branch --merged | cut -c3-) | |
| do | |
| if [[ $branch = $current_branch ]]; then |
Deleting is also a pretty simple task (despite it feeling a bit kludgy):
git push origin :newfeature
That will delete the newfeature branch on the origin remote, but you’ll still need to delete the branch locally with git branch -d newfeature.
http://gitready.com/beginner/2009/02/02/push-and-delete-branches.html
| pip install natsort | |
| import os | |
| src_dir = '/tmp/in' | |
| dst_dir = '/tmp/out' | |
| starting_nb = 11 # new filename starting with this number | |
| [os.rename(src_dir + os.sep + f,dst_dir + os.sep + str(i) + '.' + f.split('.')[1]) for (i,f) in enumerate(natsort.natsorted(os.listdir(src_dir)),starting_nb)] |
man -T bash bash | ps2pdf - bash.pdf
first bash is the page you are looking for
global installation of:
cabal install happy
cabal install ghc-mod
apm install linter
apm install language-haskell
pip freeze | grep -v "^-e" | xargs pip uninstall -y
type into address bar:
data:text/html, <html contenteditable>
| ### Keybase proof | |
| I hereby claim: | |
| * I am rm-- on github. | |
| * I am rmuhl (https://keybase.io/rmuhl) on keybase. | |
| * I have a public key ASC7fqdefiSnMMiYUt-_DFHRnoSbL7q688IBNmS-fMxJmgo | |
| To claim this, I am signing this object: |
| import time | |
| import BaseHTTPServer | |
| HOST_NAME = '127.0.0.1' | |
| PORT_NUMBER = 8080 | |
| class MyHandler(BaseHTTPServer.BaseHTTPRequestHandler): | |
| def do_GET(s): |
| -- pure code | |
| import Debug.Trace | |
| trace ("your text " ++ show value) value | |
| -- monadic code | |
| import Control.Monad.Logger | |
| import Data.Text | |
| logWarnN $ "your debug text " <> pack (show value) |