File: debiancustom.ml

package info (click to toggle)
ben 1.15
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 676 kB
  • sloc: ml: 4,125; sh: 345; javascript: 78; ansic: 39; makefile: 29; python: 18
file content (54 lines) | stat: -rw-r--r-- 1,722 bytes parent folder | download | duplicates (2)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
open Printf
open Tyxml.Html

let page ~title ~subtitle ~headers ~body ~footer =
  let headers =
    meta ~a:[ a_charset "utf-8" ] ()
    :: link ~rel:[ `Stylesheet ] ~href:"media/revamp.css" ()
    :: link ~rel:[ `Stylesheet ] ~href:"media/styles.css" ()
    :: headers
  in
  html
    ~a:[ a_xmlns `W3_org_1999_xhtml ]
    (head (Tyxml.Html.title (txt title)) headers)
    (Tyxml.Html.body
       ~a:[ a_class [ "debian" ] ]
       [
         h1 ~a:[ a_id "title" ] [ txt "Transition tracker" ];
         h2 ~a:[ a_id "subtitle" ] subtitle;
         div ~a:[ a_id "body" ] body;
         div ~a:[ a_id "footer" ] footer;
       ])

open Ben.Template

let () =
  Ben_frontends.Templates.register_template
    {
      name = "Simple";
      page;
      intro = [];
      pts = (fun ~src -> sprintf "https://tracker.debian.org/%s" src);
      changelog =
        (fun ~letter:_ ~src ~ver:_ ->
          sprintf "https://packages.debian.org/changelog:%s" src);
      buildd =
        (fun ~src ~ver:_ ->
          sprintf "https://buildd.debian.org/status/package.php?p=%s" src);
      buildds =
        (fun ~srcs ->
          let srcs = String.concat "," srcs in
          Some
            (sprintf
               "https://buildd.debian.org/status/package.php?p=%s&compact=compact"
               srcs));
      bugs = (fun ~src -> sprintf "https://bugs.debian.org/%s" src);
      critical_bugs =
        (fun ~srcs ->
          let srcs = String.concat ";src=" srcs in
          Some
            (sprintf
               "https://bugs.debian.org/cgi-bin/pkgreport.cgi?sev-inc=serious;sev-inc=grave;sev-inc=critical;src=%s"
               srcs));
      msg_id = (fun ~mid -> sprintf "https://lists.debian.org/%s" mid);
    }