You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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 .
The text was updated successfully, but these errors were encountered:
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 .
The text was updated successfully, but these errors were encountered: