From mboxrd@z Thu Jan 1 00:00:00 1970 Path: main.gmane.org!not-for-mail From: Paulo Jorge de Oliveira Cantante de Matos Newsgroups: gmane.emacs.help Subject: Starting NuPRL under GNU Emacs Date: Mon, 08 Dec 2003 22:28:25 +0000 Sender: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane.org@gnu.org Message-ID: <1070922505.2997.15.camel@localhost> NNTP-Posting-Host: deer.gmane.org Mime-Version: 1.0 Content-Type: text/plain Content-Transfer-Encoding: 7bit X-Trace: sea.gmane.org 1070922806 710 80.91.224.253 (8 Dec 2003 22:33:26 GMT) X-Complaints-To: usenet@sea.gmane.org NNTP-Posting-Date: Mon, 8 Dec 2003 22:33:26 +0000 (UTC) Original-X-From: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane.org@gnu.org Mon Dec 08 23:33:18 2003 Return-path: Original-Received: from monty-python.gnu.org ([199.232.76.173]) by deer.gmane.org with esmtp (Exim 3.35 #1 (Debian)) id 1ATTwM-0007G7-00 for ; Mon, 08 Dec 2003 23:33:18 +0100 Original-Received: from localhost ([127.0.0.1] helo=monty-python.gnu.org) by monty-python.gnu.org with esmtp (Exim 4.24) id 1ATUsF-0000HP-SE for geh-help-gnu-emacs@m.gmane.org; Mon, 08 Dec 2003 18:33:07 -0500 Original-Received: from list by monty-python.gnu.org with tmda-scanned (Exim 4.24) id 1ATUqr-0007vZ-Ai for help-gnu-emacs@gnu.org; Mon, 08 Dec 2003 18:31:41 -0500 Original-Received: from mail by monty-python.gnu.org with spam-scanned (Exim 4.24) id 1ATUq9-0007Hp-SX for help-gnu-emacs@gnu.org; Mon, 08 Dec 2003 18:31:30 -0500 Original-Received: from [213.228.128.56] (helo=front1.netvisao.pt) by monty-python.gnu.org with smtp (Exim 4.24) id 1ATUq4-0006y5-8m for help-gnu-emacs@gnu.org; Mon, 08 Dec 2003 18:30:53 -0500 Original-Received: (qmail 12277 invoked from network); 8 Dec 2003 22:28:33 -0000 Original-Received: from unknown (HELO allhosts) (217.129.147.246) by front1.netvisao.pt with SMTP; 8 Dec 2003 22:28:33 -0000 Original-To: Emacs ML X-Mailer: Ximian Evolution 1.4.5 X-BeenThere: help-gnu-emacs@gnu.org X-Mailman-Version: 2.1.2 Precedence: list List-Id: Users list for the GNU Emacs text editor List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane.org@gnu.org Xref: main.gmane.org gmane.emacs.help:15071 X-Report-Spam: http://spam.gmane.org/gmane.emacs.help:15071 Hi all, NuPRL defined some funcions to be added to .emacs to start NuPRL 5. The functions are as follows: ;;Starting Nuprl5 (defun nuprl5 () (interactive) (message "Starting NuPRL 5 Library, Editor, and Refiner ...") (nulib) (sleep-for 5) (nuedit) (nurefine) ) (defun nuprl-frame (bufname height top-corner cmd) (save-excursion (set-buffer (make-comint bufname "/bin/bash" nil "-v")) (switch-to-buffer-other-frame (concat "*" bufname "*")) (let ((NuPRLframe (car (cadr (current-frame-configuration))))) (set-frame-size NuPRLframe 81 height) (set-frame-position NuPRLframe 515 top-corner) ) (set-default-font "6x10") (while (= (buffer-size) 0) (sleep-for 1)) (comint-send-string bufname "limit coredumpsize 0\n") (comint-send-string bufname cmd) ) ) (defun nulib () (interactive) (nuprl-frame "NuLibrary" 10 76 "/home/pmatos/nuprl/bin/nulib\n") (message "Starting Library ...") (set-foreground-color "Red") (set-background-color "#ddddff") (comint-send-string "NuLibrary" "(top)\n") (comint-send-string "NuLibrary" "go.\n") ) (defun nurefine () (interactive) (nuprl-frame "NuRefine" 10 280 "/home/pmatos/nuprl/bin/nuref\n") (message "Starting Refiner ...") (set-foreground-color "Green4") (set-background-color "#ffffbb") (comint-send-string "NuRefine" "(top)\n") (comint-send-string "NuRefine" "go.\n") ) (defun nuedit () (interactive) (nuprl-frame "NuEditor" 10 178 "/home/pmatos/nuprl/bin/nuedd\n") (message "Starting Editor ... please be patient") (set-foreground-color "midnightblue") (set-background-color "#ffd8ff") (comint-send-string "NuEditor" "(top)\n") (comint-send-string "NuEditor" "go.\n") (comint-send-string "NuEditor" "win.\n") ) (defun nuxit () (interactive) (message "Shutting Down NuPRL 5 Library, Editor, and Refiner ...") (comint-send-string "NuEditor" "stop.\n") (comint-send-string "NuRefiner" "stop.\n") (sleep-for 5) ) I only changed the line: (set-buffer (make-comint bufname "/bin/bash" nil "-v")) which had /bin/csh instead of bash but I changed it because I'm using bash. However when I try to start them I get an error in one of the windows: Starting NuPRL 5 Library, Editor, and Refiner ... save-excursion: Wrong type argument: stringp, nil Any ideas on how I can correct this? Best regards, -- Paulo J. Matos : pocm [_at_] mega . ist . utl . pt Instituto Superior Tecnico - Lisbon Computer and Software Eng. - A.I. - > http://mega.ist.utl.pt/~pocm --- -> God had a deadline... So, he wrote it all in Lisp!