From 4131b0c3d19019e16c5870b92c6c4084efd899c4 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sun, 27 Apr 2014 14:12:48 -0500 Subject: [PATCH] fix 'planet remove' commandline argument checking --- pkgs/planet-pkgs/planet-lib/planet/private/cmdline-tool.rkt | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/pkgs/planet-pkgs/planet-lib/planet/private/cmdline-tool.rkt b/pkgs/planet-pkgs/planet-lib/planet/private/cmdline-tool.rkt index 7e3f229b25..186898eecb 100644 --- a/pkgs/planet-pkgs/planet-lib/planet/private/cmdline-tool.rkt +++ b/pkgs/planet-pkgs/planet-lib/planet/private/cmdline-tool.rkt @@ -64,7 +64,9 @@ Remove the specified package from the local cache, optionally also removing its "uninstalled-package cache") (erase? #t)] #:args (owner pkg maj min) - ((if (erase?) erase remove) owner pkg maj min)] + (begin + (verify-package-name pkg) + ((if (erase?) erase remove) owner pkg maj min))] ["show" "list the packages installed in the local cache" "\nList the packages installed in the local cache" #:once-any