Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add config get and dump commands. #5835

Draft
wants to merge 13 commits into
base: master
Choose a base branch
from

Commits on Sep 5, 2022

  1. Add config get and dump commands.

    Get the project resolver.
    Add config get commands.
    Get project system-ghc and install-ghc.
    Extract duplicated as logBool.
    Show scope.
    Don't log the key asked for.
    Should have been NoReexec.
    Get and Modify variants of scopeFlag help.
    Dump the project's configuration.
    Pipe to common functions for config list.
    Add scope and distinguish what is being dumped.
    Extract encodeDump* functions.
    First pass at dump-project and dump-stack.
    Separate project and stack dumps more.
    Add DumpStackScope and --lens option.
    Parse what is needed for the dump.
    Fix typos and improve help string.
    Allow for missing stack settings in the project.
    Fix a typo, aronud.
    Better explain effective scope.
    Drop the --global option when dumping the project.
    philderbeast committed Sep 5, 2022
    Configuration menu
    Copy the full SHA
    0efa40b View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    d1fc7a6 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    e978207 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    0df31d2 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    cfaa3f5 View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    18b2f48 View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    b523207 View commit details
    Browse the repository at this point in the history
  8. Configuration menu
    Copy the full SHA
    92d3141 View commit details
    Browse the repository at this point in the history

Commits on Sep 6, 2022

  1. Configuration menu
    Copy the full SHA
    b35143b View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    8722d01 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    79740d9 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    d49990f View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    6f982d3 View commit details
    Browse the repository at this point in the history