changeset 560:d15ee034bdf1

.bashrc
author Jeff Hammel <jhammel@mozilla.com>
date Thu, 28 Nov 2013 01:36:43 -0800
parents 501169756134
children 0d5cf87e5b7e
files .bashrc
diffstat 1 files changed, 8 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- 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