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.