[gambit-list] Help system

Pavel Dudrenov dudrenov at gmail.com
Thu Feb 12 21:03:38 EST 2009


Same thing after the changes, does not work.
This is at work on  ubuntu distro, Xubuntu 7.10 to be correct.
$ uname -a
Linux dudrenov 2.6.22-16-generic #1 SMP Mon Jan 26 00:07:52 GMT 2009
i686 GNU/Linux

Interesting after looking at other shell scripts on this system I changed:
if [ "${GAMBC_DOC_ARG1}" == "help" ]; then
  operation_help
to:
if [ "${GAMBC_DOC_ARG1}" = "help" ]; then
  operation_help

And it works fine.

I'll try on my gentoo box when I get home and let you know if it works there.
Pavel


On Thu, Feb 12, 2009 at 5:18 PM, Marc Feeley <feeley at iro.umontreal.ca> wrote:
>
> On 12-Feb-09, at 6:03 PM, Pavel Dudrenov wrote:
>
>> So I tried the new help procedure but I cant get it to work. Here is
>> my session tryouts:
>>
>> pavel at dudrenov:~/junk/gambc-v4_4_1$ /usr/local/Gambit-C/bin/gsi
>> Gambit v4.4.1
>>
>>> (help table->list)
>>
>> [: 73: ==: unexpected operator
>> *** WARNING -- unsupported operation: help
>> *** ERROR IN (console)@1.1 -- failed to display the document "help"
>> "table->list" "" "Definition_of_table-%3Elist"
>
> Seems like your /bin/sh does not support the == operator.  Strange!  Is this
> on a Linux system?  Which distribution?  Which version?
>
> I'm not sure my use of == in ~~bin/gambc-doc.bat is portable.  Does anyone
> have a suggestion for a more portable equality test?  Please try this:
>
> In ~~bin/gambc-doc.bat replace the line
>
>  if [ "" != "" ]; then
>
> by
>
>  if test "" != ""; then
>
> and replace the line
>
>  if [ "${GAMBC_DOC_ARG1}" == "help" ]; then
>
> by
>
>  if test "${GAMBC_DOC_ARG1}" = "help"; then
>
> Let me know if that works.
>
> Marc
>
>



More information about the Gambit-list mailing list