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

Document cabal sandbox delete-source command #1533

Closed
bennofs opened this issue Oct 6, 2013 · 2 comments
Closed

Document cabal sandbox delete-source command #1533

bennofs opened this issue Oct 6, 2013 · 2 comments

Comments

@bennofs
Copy link
Collaborator

bennofs commented Oct 6, 2013

The help for the cabal sandbox subcommand currently looks like this:

Usage: cabal sandbox init
   or: cabal sandbox delete
   or: cabal sandbox add-source  [PATHS]

   or: cabal sandbox hc-pkg      -- [ARGS]
   or: cabal sandbox list-sources

Flags for sandbox:
 -h --help        Show this help text
 -v --verbose[=n] Control verbosity (n is 0--3, default verbosity level is 1)
    --snapshot    Take a snapshot instead of creating a link (only applies to
                  'add-source')
    --sandbox=DIR Sandbox location (default: './.cabal-sandbox').

However, when I use cabal sandbox list-sources, I get the following notice:

To unregister source dependencies, use the 'sandbox delete-source' command.

The cabal sandbox delete-source command appears nowhere in the usage info, though.

@23Skidoo
Copy link
Member

23Skidoo commented Oct 6, 2013

Yes, this is by design. See the discussion in this ticket.

@bennofs
Copy link
Collaborator Author

bennofs commented Oct 6, 2013

Ok, so this can be closed.

@bennofs bennofs closed this as completed Oct 6, 2013
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants