quote - grep

diff --git a/quotefile b/quotefile
index 2db65b7..a7a0307 100644 (file)
--- a/quotefile
+++ b/quotefile
@@ -14011,3 +14011,6 @@ correctly is like herding cats. Drunk, coked up cats.
 < gwern> wow
 < gwern> (traitor)
 < ggreer> I edited the review to say "I got $100 off for leaving this review"
+%
+< Juerd> Just encountered in actual production code: grep 1, @x
+< Juerd> Fortunately, @x does indeed only ever contain the number 1.