From 65a19830a501f12b2f4c29d9f053ab5fa20202af Mon Sep 17 00:00:00 2001
From: Lennart Spitzner <lsp@informatik.uni-kiel.de>
Date: Thu, 6 Nov 2014 17:03:04 +0100
Subject: [PATCH] 'sandbox delete': exit with 0 even with 'require-sandbox:
True'
---
cabal-install/Distribution/Client/Sandbox.hs | 5 ++++-
1 file changed, 4 insertions(+), 1 deletion(-)
diff --git a/cabal-install/Distribution/Client/Sandbox.hs b/cabal-install/Distribution/Client/Sandbox.hs
index 31bdf61ebd..663dd2582b 100644
--- a/cabal-install/Distribution/Client/Sandbox.hs
+++ b/cabal-install/Distribution/Client/Sandbox.hs
@@ -326,7 +326,10 @@ sandboxInit verbosity sandboxFlags globalFlags = do
-- | Entry point for the 'cabal sandbox delete' command.
sandboxDelete :: Verbosity -> SandboxFlags -> GlobalFlags -> IO ()
sandboxDelete verbosity _sandboxFlags globalFlags = do
- (useSandbox, _) <- loadConfigOrSandboxConfig verbosity globalFlags mempty
+ (useSandbox, _) <- loadConfigOrSandboxConfig
+ verbosity
+ globalFlags { globalRequireSandbox = Flag False }
+ mempty
case useSandbox of
NoSandbox -> warn verbosity "Not in a sandbox."
UseSandbox sandboxDir -> do
--
GitLab