From e412aa60cba676da8e10e9213557d79bc2ec4d34 Mon Sep 17 00:00:00 2001 From: "e.medina" Date: Thu, 30 Oct 2025 09:00:14 +0100 Subject: [PATCH] robots.txt --- .editorconfig | 5 ++++- robots.txt | 5 +++++ www/index.html | 13 ++++++++++++- 3 files changed, 21 insertions(+), 2 deletions(-) create mode 100644 robots.txt diff --git a/.editorconfig b/.editorconfig index 36d08f6..ce2f0a1 100644 --- a/.editorconfig +++ b/.editorconfig @@ -1,10 +1,13 @@ +# https://editorconfig.org/ + # top-most EditorConfig file root = true # Unix-style newlines with a newline ending every file [*] +charset = utf-8 end_of_line = lf insert_final_newline = true trim_trailing_whitespace = true -indent_style = space indent_size = 2 +indent_style = space diff --git a/robots.txt b/robots.txt new file mode 100644 index 0000000..482af66 --- /dev/null +++ b/robots.txt @@ -0,0 +1,5 @@ +# https://www.robotstxt.org/ + +# Deny crawling of all content +User-agent: * +Disallow: / diff --git a/www/index.html b/www/index.html index 7326d96..31bbfc3 100644 --- a/www/index.html +++ b/www/index.html @@ -1 +1,12 @@ -Ok + + + + + + + + +

Travaux pratiques

+ + +