summaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
authorMarius Peter <mpeter@vps75953.serveur-vps.net>2025-07-20 19:44:33 +0200
committerMarius Peter <mpeter@vps75953.serveur-vps.net>2025-07-20 19:44:33 +0200
commit980307698caad2ad037ae738980d4a729e65cebf (patch)
tree1203971a27e2290b2bd6812051bd07f3736ecb89 /lib
parente142e6001e710205e500ba8cc1e92a6be8185de7 (diff)
Ignore repositories in hidden directories.
This better emulates cgit behavior.
Diffstat (limited to 'lib')
-rw-r--r--lib/views.ml6
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) ]
Copyright 2019--2025 Marius PETER