Re: bin/152154: script(1) -k malfunctions with certain shells (e.g. tcsh, bash, zsh)

2013-05-11 Thread Eitan Adler
On 10 May 2013 16:59, Ronald F. Guilmette r...@tristatelogic.com wrote: http://www.freebsd.org/cgi/query-pr.cgi?pr=bin/152154 It has been suggested to me (by a committer) that I should raise the issue of this PR here on these lists, because the problem described within the PR remains a real

Re: bin/152154: script(1) -k malfunctions with certain shells (e.g. tcsh, bash, zsh)

2013-05-10 Thread Kurt Jaeger
Hi! http://www.freebsd.org/cgi/query-pr.cgi?pr=bin/152154 It has been suggested to me (by a committer) that I should raise the issue of this PR here on these lists, because the problem described within the PR remains a real problem, and despite my having proposed something that seems to be

bin/152154: script(1) -k malfunctions with certain shells (e.g. tcsh, bash, zsh)

2013-05-10 Thread Ronald F. Guilmette
http://www.freebsd.org/cgi/query-pr.cgi?pr=bin/152154 It has been suggested to me (by a committer) that I should raise the issue of this PR here on these lists, because the problem described within the PR remains a real problem, and despite my having proposed something that seems to be a

Re: bin/152154: script(1) -k malfunctions with certain shells (e.g. tcsh, bash, zsh)

2013-05-10 Thread Ronald F. Guilmette
In message 20130510213610.gg8...@home.opsec.eu, you wrote: http://www.freebsd.org/cgi/query-pr.cgi?pr=bin/152154 It has been suggested to me (by a committer) that I should raise the issue of this PR here on these lists, because the problem described within the PR remains a real problem,

bin/152154: script(1) -k malfunctions with certain shells (e.g. tcsh, bash, zsh)

2010-11-17 Thread Ronald F. Guilmette
Greetings, I have recently posted a possible patch which seems to solve a malfunction that occurs with the script(1) program when it is used with the -k option and certain shells which allow for command line editing. The patch may be send towards the (current) end of the discussion regarding