On 02/04/2016 01:14 PM, Felix Miata wrote:
Right, of course. I piped in with the  above line because it is a useful commandline pattern, and you don't have to remember about local directories or typical package names. I am not a big shell scripting proponent but I do keep a couple of useful idioms like this one up my sleeve (another one is    while sleep 1; do ...... ; done)