# HG changeset patch
# User Jeff Hammel <jhammel@mozilla.com>
# Date 1371457485 25200
# Node ID 0da3813d76d0772c2b2bbd2a49b9d3e45fe4b2f0
# Parent  aae9b0776e609b7fe5e40d3f060a6b2aac74b455
add buffer function

diff -r aae9b0776e60 -r 0da3813d76d0 .bashrc
--- a/.bashrc	Sat Jun 08 08:53:18 2013 -0700
+++ b/.bashrc	Mon Jun 17 01:24:45 2013 -0700
@@ -282,6 +282,11 @@
     mv "$NEWNAME" "$2"
 }
 
+buffer() {
+  # temporary buffer with cat and /dev/null
+  cat > /dev/null
+}
+
 ### `which` commands
 
 realwhich() {
@@ -422,6 +427,8 @@
     echo "$HOME/web/blog/k0s/entries/public/$1"
 }
 
+###
+
 flatten() {
   directory=$PWD
   if [ "$#" == "1" ]