I'm blocking various bots in robots.txt and I was wondering if their names are case-sensitive.
User-agent: grapeshot Disallow: /
Would it matter if I use
Webmasters Stack Exchange is a question and answer site for pro webmasters. It only takes a minute to sign up.Sign up to join this community
Bot names are not case sensitive. However, the filepaths are case sensitive.
Please refer to Google’s Robots.txt Specifications document.