Hi Eileen,
| I have downloaded hugs98.exe and have done a standard install. You seem
| to have a typo in the editor name. I have corrected it on my copy but I
| am planning to use it in my course and it would be nice to have
| corrected.
Yes, there is a typo in the editor name. David Wakeling pointed out that
the editor string is "c:\\windows\notepad.exe", when it should have had an
extra '\' as in "c:\\windows\\notepad.exe". This will be fixed the
next time we make a maintenance release, but we have not set a date for
this.
In any case, even if this were fixed, the setting is far from ideal. It
won't work if you've installed Windows in a directory other than c:\windows,
for example, and many installations use something more specific like
c:\win95,
c:\win98, or c:\winnt. In addition, notepad is a very poor choice for the
Hugs editor because it has no support for starting at a particular line
number, and also limits the size of the file that can be edited on some
platforms (the prelude is too big, for example).
Rather than fix the typo, we should probably remove the setting altogether.
As for your class, I would strongly suggest that you tell them how to
configure Hugs to use an editor. This is in the Hugs user manual, but some
people have trouble finding it. You might also offer them some
recommendations of editors that work well with Hugs. Emacs works well for
some folks, although my current favorites are vi clones like vim and calvin.
| I have also a question... Is there a way to display the current
| directory in winhugs? I have tried escaping to the shell but it was not
| implemented..
Although the final effect is the same, it's actually not supported rather
than not implemented. The same is true of several other features that you
will find in the command line version of Hugs, but not in winhugs, which is
one of the reasons that we don't recommend that version of the system.
Hope this helps!
Mark
