On Mon, 9 Mar 2009 18:25:52 -0700 (PDT), Brook Lin <gnu.fans at yahoo.com> wrote: > kill $(<vlc.pid) & $(cat vlc.pid) is probably more portable -- Rémi Denis-Courmont