[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Starting NuPRL under GNU Emacs
From: |
Paulo Jorge de Oliveira Cantante de Matos |
Subject: |
Starting NuPRL under GNU Emacs |
Date: |
Mon, 08 Dec 2003 22:28:25 +0000 |
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!
- Starting NuPRL under GNU Emacs,
Paulo Jorge de Oliveira Cantante de Matos <=