www

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs

set-server-config.rkt (1052B)

      1 #lang racket/base
      2 (require racket/cmdline
      3          racket/file
      4          racket/path
      5          (only-in "config.rkt" extract-options)
      6          "url-options.rkt"
      7          distro-build/set-config)
      8 
      9 (module test racket/base)
     10 
     11 (define-values (dest-config-file config-file config-mode 
     12                                  install-name build-stamp 
     13                                  default-doc-search default-catalogs)
     14   (command-line
     15    #:args
     16    (dest-config-file config-file config-mode 
     17                      install-name build-stamp
     18                      doc-search . catalog)
     19    (values dest-config-file config-file config-mode 
     20            install-name build-stamp
     21            doc-search catalog)))
     22 
     23 (define config (if (equal? config-file "")
     24                    (hash)
     25                    (extract-options config-file config-mode)))
     26 
     27 (define doc-search (choose-doc-search config default-doc-search))
     28 
     29 (define catalogs (choose-catalogs config default-catalogs))
     30 
     31 (set-config dest-config-file
     32             install-name build-stamp
     33             doc-search catalogs)