#!/bin/sh full=`git grep -n - | pick` file=`echo "$full" | cut -d : -f 1` line=`echo "$full" | cut -d : -f 2` echo "$file:$line"
