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 .
Hey!
I include a traditional devshell called
other
in my default devshell withdevshells.default.devshell.packagesFrom = [ other ]
.problem
The included
other
devshell provides i.e. theghci
command. But the command is not listed and documented in the menu that gets shown on entering the shell with: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 .