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

Help doesn't mention delete-source #1959

Closed
ivan-m opened this issue Jun 24, 2014 · 1 comment · Fixed by #2254
Closed

Help doesn't mention delete-source #1959

ivan-m opened this issue Jun 24, 2014 · 1 comment · Fixed by #2254

Comments

@ivan-m
Copy link
Collaborator

ivan-m commented Jun 24, 2014

$cabal sandbox --help
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').

The sandbox delete-source option should be listed here as well for when people want to move back to a released version of a package (I blindly guessed the option name).

@cgag
Copy link
Contributor

cgag commented Dec 4, 2014

+1

Just came here to log this myself.

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

Successfully merging a pull request may close this issue.

2 participants