Add some infrastructure for deployments.

deploy

@@ -0,0 +1,7 @@
+#!/bin/sh
+#
+# Deploys my site to ibisc.univ-evry.fr/~sivanov/
+#
+# This command must be run from within the lab network.
+
+lftp -e "mirror --delete-first -R www public_html; bye" sftp://sivanov:DUMMY@172.31.8.95

shell.nix

@@ -0,0 +1,8 @@
+with import <nixpkgs> {};
+stdenv.mkDerivation {
+  name = "lftp";
+  buildInputs = [ lftp ];
+  shellHook = ''
+  echo NOTE: Deploying to ibisc.univ-evry.fr is only possible from inside the lab network.
+  '';
+}