diff options
| author | Franck Cuny <franck@fcuny.net> | 2024-10-21 08:50:38 -0700 |
|---|---|---|
| committer | Franck Cuny <franck@fcuny.net> | 2024-10-21 08:51:08 -0700 |
| commit | 6856874d52cfc2221e128c4797fb28d84efce1b4 (patch) | |
| tree | 3fa5be7d741ab552eeda752898429671a3bfdd72 /nix/hosts | |
| parent | add more tools (diff) | |
| download | infra-6856874d52cfc2221e128c4797fb28d84efce1b4.tar.gz | |
prevent webcrawler to index pages
Diffstat (limited to 'nix/hosts')
| -rw-r--r-- | nix/hosts/wildcat/configuration.nix | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/nix/hosts/wildcat/configuration.nix b/nix/hosts/wildcat/configuration.nix index 6078bf7..d7ab350 100644 --- a/nix/hosts/wildcat/configuration.nix +++ b/nix/hosts/wildcat/configuration.nix @@ -27,7 +27,7 @@ # Make dirs/files group readable, needed for webserver/cgit. (Default # setting is 0077.) $RC{UMASK} = 0027; - $RC{GIT_CONFIG_KEYS} = 'cgit.desc cgit.hide cgit.ignore cgit.owner cgit.section'; + $RC{GIT_CONFIG_KEYS} = 'cgit.desc cgit.hide cgit.ignore cgit.owner'; $RC{LOCAL_CODE} = "$rc{GL_ADMIN_BASE}/local"; push( @{$RC{ENABLE}}, 'symbolic-ref' ); ''; @@ -44,6 +44,7 @@ css = "/cgit.css"; logo = "/cgit.png"; favicon = "/favicon.ico"; + robots = "noindex, nofollow"; readme = ":README.md"; project-list = "/var/lib/gitolite/projects.list"; about-filter = "${pkgs.cgit-pink}/lib/cgit/filters/about-formatting.sh"; |