Skip to main content

ocsigen css and javascript in head

Goal

I would like to have this: 
 < head >   < title >a sample title< /title >       < link href="style.css" type="text/css" rel="stylesheet" / >   < script type="text/javascript" src="script.js">< / script > < / head >
This would load one "style.css" file and one "script.js" from the HEAD tag.

Recipe

Static directory in configuration

There must be a "static" directory from where we load the static files.
In the "ocsigen.conf" file: 
     < host >         < site path="xxxx" >             < static dir="/home/mihamina/public_html/static/" />             < eliom module="/xxx/xxx.cmo" />         < / site >      < / host >

The (Da Mihamina) code :-)

 open Lwt open XHTML.M open Eliom_services open Eliom_parameters open Eliom_sessions open Eliom_predefmod.Xhtml   let main_handler sp () () =     Lwt.return       (html          (head (title (pcdata "ttt")) [(css_link  (make_uri (static_dir sp) sp ["style.css"]) ());                                         (js_script (make_uri (static_dir sp) sp ["script.js"]) ())])          (body [   (div [pcdata "blabla"]) ; (div [pcdata "blabla"]) ]))   let main_service =   Eliom_predefmod.Xhtml.register_new_service     ~path: [""]     ~get_params: Eliom_parameters.unit     main_handler

Popular posts from this blog

npm run build base-href

Using NPM to specify base-href When building an Angular application, people usually use "ng" and pass arguments to that invocation. Typically, when wanting to hard code "base-href" in "index.html", one will issue: ng build --base-href='https://ngx.rktmb.org/foo' I used to build my angular apps through Bamboo or Jenkins and they have a "npm" plugin. I got the habit to build the application with "npm run build" before deploying it. But the development team once asked me to set the "--base-href='https://ngx.rktmb.org/foo'" parameter. npm run build --base-href='https://ngx.rktmb.org/foo did not set the base href in indext.html After looking for a while, I found https://github.com/angular/angular-cli/issues/13560 where it says: You need to use −− to pass arguments to npm scripts. This did the job! The command to issue is then: npm run build -- --base-href='https://ngx.rktmb.org/foo...
Read more

wget maven ntlm proxy

How to make wget, curl and Maven download behind an NTLM Proxy Working on CentOS, behind an NTLM proxy: yum can deal without problem with a NTLM Proxy wget, curl and Maven cannot The solution is to use " cntlm ". " cntlm " is a NTLM client for proxies requiring NTLM authentication. How it works Install "cntlm" Configure "cntlm"  by giving it your credentials by giving it the NTLM Proxy Start "cntlm" deamon (it listens to "127.0.0.1:3128") Configure wget, curl and Maven to use "cntlm" instead of using directly the NTLM Proxy Note: You will have then a kind of 2 stages Proxy : cntlm + the NTLM proxy Configure CNTLM After installing cntlm, the configuration file is in "cntlm.conf". You must have your domain (in the Windows meaning), proxy login and  proxy password. Mine are respectively: rktmb.org, mihamina, 1234abcd (yes, just for the example) You must have you NTLM Proxy Hostnama or IP ...
Read more

VMWare Keyboard Latency

Workstation VM UI lag when typing When using a VMWare Workstation VM, I noticed there is a latency when typing in the keyboard and the real appearance of the typed character. I searched and found: Noticeable typing lag in Linux VM terminals since v16.2 upgrade on Linux host To make it short, what solved it for me: Disable 3D acceleration in the VM setting .
Read more