K 10 svn:author V 6 jilles K 8 svn:date V 27 2017-04-22T21:31:37.381549Z K 7 svn:log V 109 sh: Simplify setinteractive(). setsignal() does nothing if the signal disposition is already set correctly. END