From 7f85ce776b1c687a75573ce5674c5c29602246ef Mon Sep 17 00:00:00 2001 From: Cadence Ember Date: Wed, 8 Feb 2023 00:14:06 +1300 Subject: [PATCH] Crawlers should not crawl theme switch buttons --- src/application-globals.rkt | 3 ++- static/robots.txt | 1 + 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/src/application-globals.rkt b/src/application-globals.rkt index 9d79b6d..52fd937 100644 --- 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)) diff --git a/static/robots.txt b/static/robots.txt index 6f706c5..b0e8bf6 100644 --- a/static/robots.txt +++ b/static/robots.txt @@ -1,3 +1,4 @@ User-Agent: * Disallow: /*/wiki/* Disallow: /proxy +Disallow: /set-user-settings