[Hugs-users] Print version and quit

Leif Frenzel himself at leiffrenzel.de
Sat Jul 24 17:03:19 EDT 2004


Hi,

is there an option for Hugs to just show a version string and quit
immediately? (Could not find anything like that in the manual, and some
plausible candidates I tried had not the desired effect.)

I am interfacing Hugs from an IDE, and it would be nice if I just could
'ping' the executable a user has named in the Preferences, to find out
whether it is there and would run and print the version to the user.

Thanks and ciao,
Leif



More information about the Hugs-Users mailing list