diff options
Diffstat (limited to 'lib/views/ogit_root.ml')
| -rw-r--r-- | lib/views/ogit_root.ml | 16 |
1 files changed, 5 insertions, 11 deletions
diff --git a/lib/views/ogit_root.ml b/lib/views/ogit_root.ml index 02928c9..ca8e870 100644 --- a/lib/views/ogit_root.ml +++ b/lib/views/ogit_root.ml @@ -3,16 +3,10 @@ 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 repositories_in directory = + let repositories = Sys.readdir directory |> Array.to_list + and li_of_repo repo = li [] [ a [ href "%s" repo ] [ txt "%s" repo ] ] in + div [ id "repositories" ] [ ul [] @@ List.map li_of_repo repositories ] -let main_content = div [] [ txt "Hello World!"; repositories_in git_directory ] +let main_content = null [ txt "Hello World!"; repositories_in git_directory ] let render = Layouts.application ~page_title:"My repositories" ~main_content |