raco pkg config: add doc-open-url key

This commit is contained in:
Matthew Flatt 2014-05-04 09:29:34 -06:00
parent 33ad485081
commit 51614ab0b2
2 changed files with 15 additions and 1 deletions

View File

@ -638,6 +638,11 @@ for @nonterm{key}.
be kept in the download cache directory.} be kept in the download cache directory.}
@item{@exec{download-cache-max-bytes} --- A limit on the total size of files @item{@exec{download-cache-max-bytes} --- A limit on the total size of files
that are kept in the download cache directory.} that are kept in the download cache directory.}
@item{@exec{doc-open-url} --- A URL to use in place of a local
filesystem path for viewing (or at least searching)
documentation; an empty string, which is the default, disables
the URL so that the local filesystem is used. This key can be
set only in @exec{installation} scope.}
] ]
} }

View File

@ -2381,7 +2381,8 @@
"name" "name"
"download-cache-max-files" "download-cache-max-files"
"download-cache-max-bytes" "download-cache-max-bytes"
"download-cache-dir"))) "download-cache-dir"
"doc-open-url")))
(pkg-error (~a "missing value for config key\n" (pkg-error (~a "missing value for config key\n"
" config key: ~a") " config key: ~a")
key)] key)]
@ -2437,6 +2438,12 @@
key key
val)) val))
(update-pkg-cfg! (string->symbol key) (string->number val))] (update-pkg-cfg! (string->symbol key) (string->number val))]
[(list (and key "doc-open-url") val)
(unless (eq? 'installation (current-pkg-scope))
(pkg-error (~a "setting `doc-open-url' works only in `installation' scope\n"
" current package scope: ~a")
(current-pkg-scope)))
(update-pkg-cfg! 'doc-open-url (if (equal? val "") #f val))]
[(list* key args) [(list* key args)
(pkg-error "unsupported config key\n key: ~a" key)])] (pkg-error "unsupported config key\n key: ~a" key)])]
[else [else
@ -2455,6 +2462,8 @@
"download-cache-max-files" "download-cache-max-files"
"download-cache-max-bytes") "download-cache-max-bytes")
(printf "~a~a\n" indent (read-pkg-cfg/def (string->symbol key)))] (printf "~a~a\n" indent (read-pkg-cfg/def (string->symbol key)))]
["doc-open-url"
(printf "~a~a\n" indent (or (read-pkg-cfg/def 'doc-open-url) ""))]
[_ [_
(pkg-error "unsupported config key\n key: ~e" key)])] (pkg-error "unsupported config key\n key: ~e" key)])]
[(list) [(list)