6 Apr
2009
6 Apr
'09
11:07 p.m.
On 04/06/09 16:38, Mart Raudsepp wrote:
-tmp=`tempfile` +tmp=`tempfile 2>/dev/null | echo /tmp/show-instructions.$$`
This change makes it always use /tmp/show-instructions.PID I believe you wanted || instead of a pipe there.
Oops, yes. Thanks for spotting it.
--
// Bernie Innocenti - http://www.codewiz.org/
\X/ Sugar Labs - http://www.sugarlabs.org/