diff options
Diffstat (limited to 'printsources')
| -rwxr-xr-x | printsources | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/printsources b/printsources new file mode 100755 index 0000000000..062b837c5a --- /dev/null +++ b/printsources @@ -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 |