Re: proposal: enhance and rename guile-tools

[Neil Jerram]

Andy Wingo <address@hidden> writes:

> On Mon 21 Mar 2011 22:50, Neil Jerram <address@hidden> writes:
>
>> - "gel" is short; and it's the name of Guile before it was Guile; and
>>   suggests sticking things together; and AFAIK isn't already being used
>>   for anything else; and has similar key positions as "gdo", so is
>>   equally easy to type.
>
> Gel is good!

But I agree that Guild is better!

>> - I think I might find guile-tools (as is) less bothering if its
>>   built-in commands (help, version and list) were rewritten as scripts
>>   themselves.  Then it would be clearer that the remaining code in
>>   guile-tools was just implementing the main-invocation convention for
>>   scripts/*.
>
> Good idea also!

I'll do that - if you haven't already started it.

     Neil