Skip to content

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

@zmrocze

Description

@zmrocze

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 .

Metadata

Metadata

Assignees

No one assigned

    Labels

    enhancementNew feature or request

    Type

    No type
    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions