# HG changeset patch
# User Jeff Hammel <jhammel@mozilla.com>
# Date 1385631403 28800
# Node ID d15ee034bdf116900cf54ce4f63f269d0ffb3394
# Parent  501169756134faa3e17e579727ed98b458d44cd4
.bashrc

diff -r 501169756134 -r d15ee034bdf1 .bashrc
--- a/.bashrc	Tue Nov 26 20:25:15 2013 -0800
+++ b/.bashrc	Thu Nov 28 01:36:43 2013 -0800
@@ -278,6 +278,14 @@
     mv "$NEWNAME" "$2"
 }
 
+verifyfiles() {
+    # verify each line is an existing file
+    while read line
+    do
+        test -e "${line}"
+        echo $? $line
+    done
+}
 
 ### functions for editing