Re: Editor Configuration.

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.