lib/scripts/ucat
author wenzelm
Mon, 16 Dec 1996 10:02:17 +0100
changeset 2404 edcc26b1461d
parent 2347 a42c1b835fb3
child 2579 4af1023fc6bf
permissions -rwxr-xr-x
added symbol_input.ML;

#!/bin/bash -norc
#
# $Id$
#
# ucat - uninterruptible cat.
#
# NOTE: If perl is unavailable we simply fall back on normal cat!


PERL=$(type -path perl)

if [ -z "$PERL" ]
then
  exec cat "$@"
else
  exec $PERL -e '$SIG{INT} = "IGNORE"; $| = 1; while (<ARGV>) {print;}' "$@"
fi