diff options
Diffstat (limited to 'lib/scomint.el')
-rw-r--r-- | lib/scomint.el | 26 |
1 files changed, 18 insertions, 8 deletions
diff --git a/lib/scomint.el b/lib/scomint.el index af8df997..8f7104e8 100644 --- a/lib/scomint.el +++ b/lib/scomint.el @@ -1,10 +1,17 @@ ;;; scomint.el --- Simplified comint for less interactive shells -;; -;; Copyright (C) 2009 LFCS Edinburgh. + +;; This file is part of Proof General. + +;; Portions © Copyright 1994-2012 David Aspinall and University of Edinburgh +;; Portions © Copyright 2003, 2012, 2014 Free Software Foundation, Inc. +;; Portions © Copyright 2001-2017 Pierre Courtieu +;; Portions © Copyright 2010, 2016 Erik Martin-Dorel +;; Portions © Copyright 2011-2013, 2016-2017 Hendrik Tews +;; Portions © Copyright 2015-2017 Clément Pit-Claudel + ;; Author: David Aspinall + ;; License: GPL (GNU GENERAL PUBLIC LICENSE) -;; -;; $Id$ ;;; Commentary: ;; @@ -16,6 +23,8 @@ ;; hard to disentangle. ;; +;;; Code: + (defvar scomint-buffer-maximum-size 800000 "The maximum size in characters for SComint buffers. SComint buffers are truncated from the top to be no greater than this number, @@ -79,7 +88,7 @@ a TCP connection to be opened via `open-network-stream'. If there is already a running process in that buffer, it is not restarted. Optional fourth arg STARTFILE is the name of a file to send the contents of to the process. -If PROGRAM is a string, any more args are arguments to PROGRAM." +If PROGRAM is a string, the remaining SWITCHES are arguments to PROGRAM." (unless (or (fboundp 'start-process) (fboundp 'start-file-process)) (error "Multi-processing is not supported for this system")) @@ -103,13 +112,14 @@ a TCP connection to be opened via `open-network-stream'. If there is already a running process in that buffer, it is not restarted. Optional third arg STARTFILE is the name of a file to send the contents of the process to. -If PROGRAM is a string, any more args are arguments to PROGRAM." +If PROGRAM is a string, the remaining SWITCHES are arguments to PROGRAM." (apply #'scomint-make-in-buffer name nil program startfile switches)) (defun scomint-exec (buffer name command startfile switches) - "Start up a process named NAME in buffer BUFFER for Comint modes. -Runs the given COMMAND with SWITCHES with output to STARTFILE. + "In buffer BUFFER, start up a process named NAME for Comint modes. +Runs the given COMMAND with output to STARTFILE. +SWITCHES contains the arguments passed to the COMMAND. Blasts any old process running in the buffer. Doesn't set the buffer mode. You can use this to cheaply run a series of processes in the same Comint buffer. The hook `scomint-exec-hook' is run after each exec." |