Crawlers should not crawl theme switch buttons

2023-02-08 00:14:06 +13:00 · 2023-02-08 00:14:06 +13:00 · 7f85ce776b
parent c0ccb7f3d1
commit 7f85ce776b
2 changed files with 3 additions and 1 deletions
--- a/src/application-globals.rkt
+++ b/src/application-globals.rkt
@ -235,7 +235,8 @@
                                                     (if (equal? theme (user-cookies^-theme user-cookies))
                                                         "bw-theme__item bw-theme__item--selected"
                                                         "bw-theme__item"))
-                                                   `(a (@ (href ,(user-cookies-setter-url
+                                                   `(a (@ (rel "nofollow")
+                                                          (href ,(user-cookies-setter-url
                                                                  req
                                                                  (struct-copy user-cookies^ user-cookies
                                                                               [theme theme]))) (class ,class))
--- a/static/robots.txt
+++ b/static/robots.txt
@ -1,3 +1,4 @@
 User-Agent: *
 Disallow: /*/wiki/*
 Disallow: /proxy
+Disallow: /set-user-settings