On 11/1/07, Steven W. Orr <[EMAIL PROTECTED]> wrote:
> echo Hello | grep Hello
> can be replaced by
> grep Hello <<< Hello
Right, but why bother? :) Do some people get paid by the chevron
or something? :)
>>> PS4='+${0##*/} line $LINENO: '
>
> if you want to debug it, then set PS4 and then run
>
> bash -x script
Ahhhh! Cool! Having the line number and file name is definitely an
improvement.
-- Ben
_______________________________________________
gnhlug-discuss mailing list
gnhlug-discuss@mail.gnhlug.org
http://mail.gnhlug.org/mailman/listinfo/gnhlug-discuss/
