From 9de3f25d15ae4ddcf9a60a19965baccdc8a9cc55 Mon Sep 17 00:00:00 2001
From: John Clements <clements@racket-lang.org>
Date: Tue, 15 Feb 2011 14:57:51 -0800
Subject: [PATCH] added docs, changed to optional param

---
 collects/planet/planet.scrbl             | 11 +++++++++--
 collects/planet/private/cmdline-tool.rkt |  2 +-
 collects/planet/util.rkt                 |  7 ++++---
 3 files changed, 14 insertions(+), 6 deletions(-)

diff --git a/collects/planet/planet.scrbl b/collects/planet/planet.scrbl
index b13a16b13a..1c4ec2d172 100644
--- a/collects/planet/planet.scrbl
+++ b/collects/planet/planet.scrbl
@@ -400,10 +400,13 @@ package specifier and the specified directory name.
 @subsection[#:tag "unlink"]{@exec{unlink}}
 
 Usage:
-@commandline{raco planet unlink <owner> <pkg> <maj> <min>}
+@commandline{raco planet unlink [ <option> ] <owner> <pkg> <maj> <min>}
 Remove any development link (see @secref{devlinks}) associated with
 the given package.
 
+@exec{<option>} can only be:
+@itemize[@item{@exec{-q, --quiet}: don't signal an error on nonexistent links}]
+
 @subsection[#:tag "fetch"]{@exec{fetch}}
 
 Usage:
@@ -696,11 +699,15 @@ The @racket[pkg] argument must end with the string @racket[".plt"].
 @defproc[(remove-hard-link [owner string?]
 	 		   [pkg   (and/c string? #rx"[.]plt")]
 			   [maj   natural-number/c]
-			   [min   natural-number/c])
+			   [min   natural-number/c]
+                           [#:quiet? quiet? boolean? #false])
  	 any]{
 Removes any hard link that may be associated with the given package.
 
 The @racket[pkg] argument must end with the string @racket[".plt"].
+The @racket[maj] and @racket[min] arguments must be integers. This
+procedure signals an error if no such link exists, unless
+@racket[#:quiet?] is @racket[#true].
 }
 
 @defproc[(resolve-planet-path [spec quoted-planet-require-spec?])
diff --git a/collects/planet/private/cmdline-tool.rkt b/collects/planet/private/cmdline-tool.rkt
index 01fb091963..813c4a61aa 100644
--- a/collects/planet/private/cmdline-tool.rkt
+++ b/collects/planet/private/cmdline-tool.rkt
@@ -272,7 +272,7 @@ This command does not unpack or install the named .plt file."
            [min (read-from-string minstr)])
       (unless (and (integer? maj) (integer? min) (> maj 0) (>= min 0))
         (fail "Invalid major/minor version"))
-      (remove-hard-link ownerstr pkgstr maj min quiet?)))
+      (remove-hard-link ownerstr pkgstr maj min #:quiet? quiet?)))
       
   (define (get-download-url ownerstr pkgstr majstr minstr)
     (let ([fps (params->full-pkg-spec ownerstr pkgstr majstr minstr)])
diff --git a/collects/planet/util.rkt b/collects/planet/util.rkt
index f50d28a1a5..ee9a8d2bc6 100644
--- a/collects/planet/util.rkt
+++ b/collects/planet/util.rkt
@@ -68,7 +68,8 @@
  [add-hard-link 
   (-> string? (and/c string? #rx"[.]plt") natural-number/c natural-number/c path? void?)]
  [remove-hard-link 
-  (-> string? (and/c string? #rx"[.]plt") natural-number/c natural-number/c boolean?
+  (->* (string? (and/c string? #rx"[.]plt") natural-number/c natural-number/c)
+       (#:quiet? boolean?)
       void?)]
  [remove-pkg
   (-> string? (and/c string? #rx"[.]plt") natural-number/c natural-number/c void?)]
@@ -767,9 +768,9 @@
                  (path->string path))))
   (add-hard-link! pkg-name (list owner) maj min path))
 
-;; remove-hard-link : string string num num boolean -> void
+;; remove-hard-link : string string num num (#:quiet boolean) -> void
 ;; removes any development association from the given package spec
-(define (remove-hard-link owner pkg-name maj min quiet?)
+(define (remove-hard-link owner pkg-name maj min #:quiet? [quiet? #false])
   (define (matching-link? row)
     (points-to? row pkg-name (list owner) maj min))
   (when (and (empty? (filter matching-link? (get-hard-link-table)))