Shell tips and tricks

[Ben Scott]

On 11/1/07, Steven W. Orr <steveo at syslang.net> 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