Simple pretty printer.
authordrepper <drepper>
Fri, 8 May 1998 20:55:32 +0000 (20:55 +0000)
committerdrepper <drepper>
Fri, 8 May 1998 20:55:32 +0000 (20:55 +0000)
scripts/printsources [new file with mode: 0755]

diff --git a/scripts/printsources b/scripts/printsources
new file mode 100755 (executable)
index 0000000..062b837
--- /dev/null
@@ -0,0 +1,29 @@
+#! /bin/csh -f
+
+#
+#      Prints all the files given as arguments.
+#      Files that will fit on less than a printed page
+#      are concatenated together.  Bigger ones are pr'd.
+#
+
+
+set tocat='' topr=''
+
+foreach file ($*)
+       set lines=`wc -l $file | sed "s/$file//"`
+       if ($lines > 40) then
+               set topr=($topr $file)
+       else
+               set tocat=($tocat $file)
+       endif
+end
+
+
+if ("$topr" != '') pr $topr
+
+if ("$tocat" != '') foreach file ($tocat)
+       echo -n "==================== $file ======================"
+       cat $file
+end
+
+exit 0