Samuel Thibault : > > (cmd | type) == cmd, at least from what I can tell. > > Then it's a bug. Well... not really. That's the way commands have been defined so far. But I'd personnally prefer that commands start from 0. Sébastien.