Skip to content

Instantly share code, notes, and snippets.

@marioBonales
marioBonales / .bashrc
Created January 19, 2012 03:56
Default .bashrc for ubuntu
# ~/.bashrc: executed by bash(1) for non-login shells.
# see /usr/share/doc/bash/examples/startup-files (in the package bash-doc)
# for examples
# If not running interactively, don't do anything
[ -z "$PS1" ] && return
# don't put duplicate lines in the history. See bash(1) for more options
# ... or force ignoredups and ignorespace
HISTCONTROL=ignoredups:ignorespace
@piscisaureus
piscisaureus / pr.md
Created August 13, 2012 16:12
Checkout github pull requests locally

Locate the section for your github remote in the .git/config file. It looks like this:

[remote "origin"]
	fetch = +refs/heads/*:refs/remotes/origin/*
	url = git@github.com:joyent/node.git

Now add the line fetch = +refs/pull/*/head:refs/remotes/origin/pr/* to this section. Obviously, change the github url to match your project's URL. It ends up looking like this:

@startmindmap kata-mindmap
* Ressources pour pratiquer les Katas
** Catalogues de Katas
*** Kata-Log : https://kata-log.rocks/
*** CodingDojo : https://codingdojo.org/
**** https://codingdojo.org/kata/
*** Code Kata : http://codekata.com/
** Katas spécialisés
*** Refactoring Katas
**** Tennis : https://github.com/emilybache/Tennis-Refactoring-Kata