ocaml
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

Remove "forester serve"

This was confusing some users, because it isn't implemented yet.

+1 -39
+1 -39
bin/forester/main.ml
··· 8 8 open Forester_core 9 9 open Forester_frontend 10 10 open Forester_compiler 11 - open Forester_server 12 11 open Cmdliner 13 12 14 13 module EP = Eio.Path 15 - 16 - let theme_location : string list = Theme_site.Sites.theme 17 14 18 15 let setup_logs style_renderer level = 19 16 Fmt_tty.setup_std_outputs ?style_renderer (); ··· 273 270 $ arg_config 274 271 ) 275 272 276 - let server ~env _ port config = 277 - let config = Config_parser.parse_forest_config_file config in 278 - let forest = Driver.batch_run ~env ~config ~dev: true in 279 - Server.run ~env ~port ~forest theme_location 280 - 281 - let app_cmd ~env = 282 - let open Cmdliner in 283 - let man = [ 284 - `S Manpage.s_description; 285 - `P "The $(tname) starts the hypermedia server."; 286 - ] 287 - in 288 - let arg_port = 289 - let doc = "the port on which the HTTP server should listen" in 290 - Arg.( 291 - required @@ 292 - opt (some int) (Some 8080) @@ 293 - info ["port"] ~docv: "XXX" ~doc 294 - ) 295 - in 296 - let doc 297 - = 298 - "Serve the forest via HTTP" 299 - in 300 - let info = Cmd.info "serve" ~version ~doc ~man in 301 - Cmd.v 302 - info 303 - Term.( 304 - const (server ~env) 305 - $ arg_logs 306 - $ arg_port 307 - $ arg_config 308 - ) 309 - 310 273 let cmd ~env = 311 274 let doc = "a tool for tending mathematical forests" in 312 275 let man = [ ··· 325 288 complete_cmd ~env; 326 289 init_cmd ~env; 327 290 query_cmd ~env; 328 - lsp_cmd ~env; 329 - app_cmd ~env; 291 + lsp_cmd ~env 330 292 ] 331 293 332 294 let () =