suzanne.soy/racket-pkg-website
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Update my dev configuration

Browse Source
This commit is contained in:
Tony Garnock-Jones 2020-06-04 12:25:45 +02:00
parent 5ef4f02a2b
commit e6c88647f5
1 changed files with 9 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
configs/tonyg.rkt
View File

@ -1,9 +1,14 @@
#lang racket/base
;; Configuration for tonyg's development setup.
(require "../src/main.rkt")
(define pkg-index-generated-directory
(build-path (find-system-path 'home-dir) "src/pkg-index/official/static-gen"))
(main (hash 'port 8444
'ssl? #f
'reloadable? #t
'package-index-url "file:///home/tonyg/public_html/pkg-index-static/pkgs-all.json.gz"
'package-index-url (format "file://~a/pkgs-all.json.gz" pkg-index-generated-directory)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; Either:
;;
@ -22,8 +27,7 @@
;; 'dynamic-static-urlprefix "https://localhost:8446"
;;
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
'dynamic-urlprefix "https://localhost:8444"
'backend-baseurl "https://localhost:8445"
'pkg-index-generated-directory (build-path (find-system-path 'home-dir)
"public_html/pkg-index-static")
'dynamic-urlprefix "http://localhost:8444"
'backend-baseurl "http://localhost:8445"
'pkg-index-generated-directory pkg-index-generated-directory
))