aufrank

Day job:  Cognitive science post-doc

Favorite Python project:  PsychoPy https://github.com/psychopy/psychopy

Favorite Conference:  International Workshop on Language Production

Python Experience Level:  Intermediate

aufrank

[diff]
	tool = chdiff

[difftool]
	prompt = false

[difftool "chdiff"]
	cmd = /usr/bin/env chdiff "$LOCAL" "$REMOTE"

aufrank

(defun mark-line (&optional arg)
  (interactive "p")
  (beginning-of-line)
  (let ((here (point)))
    (dotimes (i arg)
      (end-of-line))
    (set-mark (point))
    (goto-char here)))

(defun mark-sentence (&optional arg)

aufrank

 '(ido-auto-merge-work-directories-length 0)
 '(ido-cannot-complete-command (quote ido-exit-minibuffer))
 '(ido-decorations (quote ("{" "}" "," ",..." "[" "]" " [No match]" " [Matched]" " [Not readable]" " [Too big]" " [Confirm]")))
 '(ido-enable-flex-matching t)
 '(ido-ignore-files (quote ("\\`CVS/" "\\`#" "\\`.#" "\\`\\.\\./" "\\`\\./" "\\`\\.DS_Store" "\\`\\.localized")))
 '(ido-mode (quote both) nil (ido))
 '(ido-use-filename-at-point nil)
 '(ido-use-virtual-buffers t)

aufrank

#!/bin/sh

# The job of git-flush is to recompactify your repository to be as small
# as possible, by dropping all reflogs, stashes, and other cruft that may
# be bloating your pack files.

git for-each-ref --format="%(refname)" refs/original/ | \
  xargs -n 1 git update-ref -d

git reflog expire --expire=0 --all

aufrank

# add in your .bashrc
# http://henrik.nyh.se/2008/12/git-dirty-prompt
# http://www.simplisticcomplexity.com/2008/03/13/show-your-git-branch-name-in-your-prompt/
# http://blog.cyberion.net/2009/01/improved-bash-prompt-for-git-usage.html
#   username@Machine ~/dev/dir[master]$   # clean working directory
#   username@Machine ~/dev/dir[master⚡]$  # dirty working directory
#
# I've made the following ajustements:
#   - Use of plumbing, that should be faster than git status porcelain.
#   - Don't show my repo as dirty if it has files unknown from the index (I always have).