summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorandre4ik3 <andre4ik3@fastmail.com>2025-08-18 20:16:18 +0000
committerandre4ik3 <andre4ik3@fastmail.com>2025-08-18 20:16:18 +0000
commit874df2a7f4e8205f1da770fabdd332fe39be59b5 (patch)
treeebd267a50cc140db48b047e8c3325a78075fbc74
parent012b21caddc8c4c28933feb7d34948448d2bb786 (diff)
Add publish script and robots.txtHEADmaster
-rwxr-xr-xpublish.sh3
-rw-r--r--static/robots.txt2
2 files changed, 5 insertions, 0 deletions
diff --git a/publish.sh b/publish.sh
new file mode 100755
index 0000000..fdf389c
--- /dev/null
+++ b/publish.sh
@@ -0,0 +1,3 @@
+#!/bin/sh
+site="$(nix build --print-out-paths ".#")"
+rsync --del -rvmP "$site"/ --perms --chmod=Da+x,u+rw relvokcor.xyz:public_html
diff --git a/static/robots.txt b/static/robots.txt
new file mode 100644
index 0000000..c6742d8
--- /dev/null
+++ b/static/robots.txt
@@ -0,0 +1,2 @@
+User-Agent: *
+Disallow: /