diff options
author | Marius Peter <marius.peter@tutanota.com> | 2025-01-25 19:16:32 +0100 |
---|---|---|
committer | Marius Peter <marius.peter@tutanota.com> | 2025-01-25 19:16:32 +0100 |
commit | 4edccf9a2504e8798df160e04a0820a7256f82b1 (patch) | |
tree | 371db4e0dbeaf8a62f1b2adb5b7f445b6bb799a0 /lib/views/ogit_root.ml | |
parent | d817e1e464d1fb0c251c0d5e97b15466b0b1621c (diff) |
Restructure Views library.
Diffstat (limited to 'lib/views/ogit_root.ml')
-rw-r--r-- | lib/views/ogit_root.ml | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/lib/views/ogit_root.ml b/lib/views/ogit_root.ml new file mode 100644 index 0000000..02928c9 --- /dev/null +++ b/lib/views/ogit_root.ml @@ -0,0 +1,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 |