Ignore repositories in hidden directories.

This better emulates cgit behavior.

Commit
980307698caad2ad037ae738980d4a729e65cebf
Author
Marius Peter <mpeter@vps75953.serveur-vps.net>
Author date
Committer
Marius Peter <mpeter@vps75953.serveur-vps.net>
Committer date
lib/views.ml
index 74e8e7ae..0fe9b86d 100644..100644
@@ -76,9 +76,13 @@
76 76
77 77 let root () =
78 78 let all_repositories =
79 Added: (* Ignore hidden directories. *)
79 80 let repos =
80 81 Sys.readdir config.git_project_root
81 Removed: |> Array.to_list |> List.sort String.compare
82 Added: |> Array.to_list
83 Added: |> List.filter (fun name ->
84 Added: not (name.[0] = '.'))
85 Added: |> List.sort String.compare
82 86 in
83 87 let li_of_repo repo =
84 88 HTML.li [] [ Routes.link_to (Routes.Repo repo) (txt "%s" repo) ]