scripts/printmans

#!/bin/sh
cmd=$1
shift

for i in "$@"; do
    echo "cat $i | $cmd"
    cat $i | $cmd
done
Build Updates 2023-07-16 19:37:48 +03:00			`#!/bin/sh`
			`cmd=$1`
			`shift`
Initial commit at Tue Apr 25 08:41:48 EDT 2017 by tim on stravinsky 2017-04-25 08:41:48 -04:00
Build Updates 2023-07-16 19:37:48 +03:00			`for i in "$@"; do`
			`echo "cat $i \| $cmd"`
Initial commit at Tue Apr 25 08:41:48 EDT 2017 by tim on stravinsky 2017-04-25 08:41:48 -04:00			`cat $i \| $cmd`
Build Updates 2023-07-16 19:37:48 +03:00			`done`