[ditz-talk] First impressions

[David Masover]

On Tuesday 19 August 2008 11:17:01 William Morgan wrote:

> The only irritation is that (in bash, at least) # is a comment, so
> something like "ditz show #77" is as if you had just typed "ditz show".
> You have to backslash the #.
> 
> So I've been thinking about "+77" instead, which isn't quite as nice,
> but at least doesn't require a backslash...

Is there a reason you need a symbol there at all? What about:

dits show 77

It should work with a # too, but I think it could be implicit. (What else 
would you be using a number for in that context?)