🚀 go-pugleaf

In article <9009190155.AA17410@athens.ees.anl.gov> gabriel@ATHENS.EES.ANL.GOV (John Gabriel) writes:
>
>The editor works just fine except for one thing which is important for
>me because I want to use it with the Boyer-Moore Theorem Prover.
>
>When M-x shell invokes an inferior shell, commands from the keyboard
>reach the inferior process OK, but stdout from the process appears to
>be buffered instead of being sent to emacs at least a line at a time.
>
>The evidence for this is that when I manage to stop the inferior process
>and the shell, all the missing output appears on the emacs buffer display
>at once.

My guess is that your "Boyer-Moore Theorem Prover" does a test to see
if it's output (or input or ...) is a tty and modifies it's buffering
accordingly. Defining HAS_PTYS should solve the problem. But note that
emacs will still use a pipe if it failed to stat a pty. You need to
confirm that the pty naming scheme is the same as that assumed by
emacs and that there is nothing else preventing emacs from opening the
pty's (such as permissions). Try defining HAS_PTYS, rebuilding, and
running "tty" in the shell buffer. Also you want the controlling tty
to be the pty.  "ps -l" will show you the controlling tty. Their was a
bug in 18.52 under SysV which resulted in inferior shells having no
controlling tty. I sent in a fix, but have no idea whether it was
incorporated in subsequent releases (I am still using 18.52).


I get

    115 $ tty
    /dev/ttyp7
    116 $ ps -l
      F S   UID   PID  PPID  C PRI NI   ADDR  SZ    WCHAN TTY      TIME COMD
      1 S  1000 21376 21371  0  30 20    9aa 287    3a9fc ttyp7    0:04 bash
      1 R  1000 21390 21376 33  76 20    d41  58          ttyp7    0:05 ps

Hope this helps.
	-- 
Ian Dall     life (n). A sexually transmitted disease which afflicts
                       some people more severely than others.