Shorten the menu command

[blaggacao]

A shot into the darknix.

[06kellyjac]

I'm not sure that the help command should change name so people who need help can find it in the same place.
Maybe it'd be better as devshell-menu + ${config.name}-menu

[blaggacao]

I'm not sure that the help command should change name so people who need help can find it in the same place.
Maybe it'd be better as devshell-menu + ${config.name}-menu

Thanks for bringing this up.

There are two competing aspects to it:

• alignment between projects
• semantical identity of the command

I don't think it is worth to preserve both at the cost of visual clutter in the motd.

The problem with devshell-help is that it's context sensitive. So the same command does not result in the same output in different projects.

Looking at what the help command does, it is not help for devshell. Rather it is help for the project driver shell that happens to be construed with devshell but identified by ${config.name}

If that really would be a problem, I would rather map it to help + ${config.name}-help. But then, for discoverability there is the motd which is consistently shown even during direnv evaluation.

What's more, to avoid cluttering the interface so early on in the project, I would rather prefer a trade off decision than having two commands:
So I'd pledge for either devshell-help or ${config.name}-help. What ever is semantically more concise (I belive the latter).