# HG changeset patch
# User HackBot
# Date 1427943803 0
# Node ID fe8f574b561cd5ef441cd4e919f1dd8d07a92414
# Parent  cec1ac218fa4effe32249b6c4e3e50cdc69e895a
<shachaf> ` echo -ne \'#!/bin/sh\\ngrep -P -i -n "$1" quotes | cut -d \':\' -f 1 | xargs\\n\' > bin/quotenums; chmod +x bin/quotenums

diff -r cec1ac218fa4 -r fe8f574b561c bin/quotenums
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/bin/quotenums	Thu Apr 02 03:03:23 2015 +0000
@@ -0,0 +1,2 @@
+#!/bin/sh
+grep -P -i -n "$1" quotes | cut -d : -f 1 | xargs