summaryrefslogtreecommitdiff
path: root/lib/views/ogit_root.ml
blob: 02928c9ee61c9018e8f68063258132e0018e3c06 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
open Dream_html
open HTML

let git_directory = Filename.concat (Unix.getenv "HOME") "git"

let repositories_in dir =
  let links =
    (* if Sys.file_exists dir && Sys.is_directory dir then *)
    let repositories = Sys.readdir dir |> Array.to_list
    and repo_to_li repo = li [] [ a [ href "%s" repo ] [ txt "%s" repo ] ] in
    let repositories_as_items = List.map repo_to_li repositories in
    ul [] repositories_as_items
    (* else txt "No repositories found in %s" dir *)
  in
  div [ id "repositories" ] [ links ]

let main_content = div [] [ txt "Hello World!"; repositories_in git_directory ]
let render = Layouts.application ~page_title:"My repositories" ~main_content
Copyright 2019--2025 Marius PETER