How to display in menu the packages coming from packagesFrom? #313

Hey!

I include a traditional devshell called other in my default devshell with devshells.default.devshell.packagesFrom = [ other ].

problem

The included other devshell provides i.e. the ghci command. But the command is not listed and documented in the menu that gets shown on entering the shell with:

motd = ''$(type -p menu &>/dev/null && menu)'';

How could I list it there as well?

tried solution

What I tried and how it didn't work is described in this issue of mine: #312 .