diff options
| author | Marius Peter <mpeter@vps75953.serveur-vps.net> | 2025-07-20 19:44:33 +0200 |
|---|---|---|
| committer | Marius Peter <mpeter@vps75953.serveur-vps.net> | 2025-07-20 19:44:33 +0200 |
| commit | 980307698caad2ad037ae738980d4a729e65cebf (patch) | |
| tree | 1203971a27e2290b2bd6812051bd07f3736ecb89 /lib/views.ml | |
| parent | e142e6001e710205e500ba8cc1e92a6be8185de7 (diff) | |
Ignore repositories in hidden directories.
This better emulates cgit behavior.
Diffstat (limited to 'lib/views.ml')
| -rw-r--r-- | lib/views.ml | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/lib/views.ml b/lib/views.ml index 74e8e7a..0fe9b86 100644 --- a/lib/views.ml +++ b/lib/views.ml @@ -76,9 +76,13 @@ end let root () = let all_repositories = + (* Ignore hidden directories. *) let repos = Sys.readdir config.git_project_root - |> Array.to_list |> List.sort String.compare + |> Array.to_list + |> List.filter (fun name -> + not (name.[0] = '.')) + |> List.sort String.compare in let li_of_repo repo = HTML.li [] [ Routes.link_to (Routes.Repo repo) (txt "%s" repo) ] |