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 | |
| parent | e142e6001e710205e500ba8cc1e92a6be8185de7 (diff) | |
Ignore repositories in hidden directories.
This better emulates cgit behavior.
| -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) ] | 
