robots.txt: dynamically disallow development domains

Not requested frequently enough to warrant static caching.

diff --git a/robots.txt b/robots.txt
deleted file mode 100644 (file)
index 15b6ecb..0000000
--- a/robots.txt
+++ /dev/null
@@ -1,5 +0,0 @@
-User-agent: *
-Disallow: /source/*::*
-
-Sitemap: http://sheet.shiar.nl/sitemap.xml
-Host: sheet.shiar.nl

diff --git a/robots.txt.plp b/robots.txt.plp
new file mode 100644 (file)
index 0000000..15e80a3
--- /dev/null
+++ b/robots.txt.plp
@@ -0,0 +1,10 @@
+<(common.inc.plp)><:
+$header{content_type} = 'text/plain; charset=us-ascii';
+checkmodified($ENV{SCRIPT_FILENAME});
+
+say 'User-agent: *';
+say 'Disallow: ', $Dev ? '/' : '/source/*::*';
+#say 'Disallow: /font/*?q=*';
+:>
+Sitemap: http://sheet.shiar.nl/sitemap.xml
+Host: sheet.shiar.nl