From f60f377335d57c831e4b49673bc0b525ead73073 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Thu, 9 Mar 2000 10:31:40 +0000 Subject: Detect default for proof-shell-process-connection-type by running uname --- generic/proof-config.el | 14 ++++++++------ 1 file changed, 8 insertions(+), 6 deletions(-) diff --git a/generic/proof-config.el b/generic/proof-config.el index 9860434e..b0b35469 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -1411,17 +1411,19 @@ to do syntax highlighting with font-lock." ;; (defcustom proof-shell-process-connection-type - ;; Use ptys unless it seems like we're on Solaris. - (not (string-match "[sS]un" (or (getenv "ARCH") ""))) + ;; Use ptys unless it seems like we're on Solaris. Only have + ;; a good chance to guess on XEmacs which provides shell-command-to-string + (if (boundp 'shell-command-to-string) + (not (string-match "[sS]un" (shell-command-to-string "uname"))) + t) "The value of process-connection-type for the proof shell. Set non-nil for ptys, nil for pipes. The default (and preferred) option is to use pty communication. However there is a long-standing backslash/long line problem with Solaris which gives a mess of ^G characters when some input is sent -which has a \ in the 256th position. We do not force pipes everywhere -because this risks loss of data and some proof assistants do not -flush their output by default after each interaction, which breaks -pipe communication." +which has a \ in the 256th position. +So we select pipes by default if it seems like we're on Solaris. +We do not force pipes everywhere because this risks loss of data." :type 'boolean :group 'proof-shell) -- cgit v1.2.3