Editor Configuration.
Sigbjorn Finne
sigbjorn_finne@hotmail.com
Wed, 7 Feb 2001 22:35:59 +0100
Badrulhisyam Fauzi <bf100@doc.ic.ac.uk> writes:
>
> hi there,
> this is not a bug really. i just wanna ask how to configure editor for
> hugs version jan 2001 beta. i'm running it using ms dos prompt under
> windows me.
>
> when i type:
>
> :edit intro.hs
>
> the result is:
>
> ERROR - Hugs is not configured to use an editor
>
> so, how do i configure 'edit' as my editor?
Hi,
from within Hugs, you can set the editor you want to use via the
:set -E option, e.g., if you want to use 'notepad', do
Prelude> :s -Enotepad
Prelude> :edit intro.hs
For more info on the -E option and others, see
http://www.cse.ogi.edu/PacSoft/projects/Hugs/pages/hugsman/started.html
hth,
--sigbjorn
I'll really appreciate any help.
Thanks.
Badrulhisyam Fauzi,
Imperial College, London.