diff options
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/tissue | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/bin/tissue b/bin/tissue index 2b5ab7d..1e45d89 100755 --- a/bin/tissue +++ b/bin/tissue @@ -323,6 +323,7 @@ Serve website and issues of current repository. --port=PORT run web server listening on PORT (default: 8080) --listen-repl=P run REPL server listening on port or path P + --base-path=PATH serve website at PATH " (command-line-program))) (args @@ -333,13 +334,20 @@ Serve website and issues of current repository. (lambda (opt name arg result) (acons 'port (string->number arg) + result))) + (option '(#\b "base-path") + #t #f + (lambda (opt name arg result) + (acons 'base-path arg result)))) invalid-option unrecognized-argument - '((port . 8080))))) + '((port . 8080) + (base-path . "/"))))) (when (assq-ref args 'listen-repl) (start-repl (assq-ref args 'listen-repl))) (start-dev-web-server (assq-ref args 'port) + (assq-ref args 'base-path) %xapian-index load-config))))) (define (print-usage) |