amirmc / amirmc.github.com Goto Github PK

1. One needs to do opam search crunch before mirage configure --unix because the latter tries to run

   ocaml-crunch -o static1.ml /home/trch/tmp/mirage-skeleton/static_website/./htdocs
   

2. To avoid the exception Failure("net_tap0") being thrown (and not require root privileges), it would be better to use a socket. For this, just do

   export NET=socket
   

   before mirage configure --unix. The default port is 80. If you run a web server on your machine — as I do — that port will be taken. to change it, go to the generated main.ml file and look for the line Stackv41.listen_tcpv4 ~port:80. Replace 80 with, say, 8080.

Front page should include some basic 'about' information and excerpts of the latest 5 (or so) blog posts. Add a papers/talks page with links or embedded content.