On 12/07/2017 06:13 PM, Tom Tromey wrote: > Pedro> But I'd start with making "commands" not-error like the > Pedro> others. > > Ok, how about this? Great, thanks! Pedro Alves