From c78676a2cc9241d83e64009c9a9cb665bbecf9ba Mon Sep 17 00:00:00 2001
From: Emanuel Borsboom <manny@fpcomplete.com>
Date: Sun, 17 Jul 2016 14:15:08 -0700
Subject: [PATCH] etc: reorder Dockerfile and stage with rsync

---
 etc/scripts/stage_docker.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/etc/scripts/stage_docker.sh b/etc/scripts/stage_docker.sh
index b938544..1ca4c67 100755
--- a/etc/scripts/stage_docker.sh
+++ b/etc/scripts/stage_docker.sh
@@ -1,6 +1,6 @@
 #!/usr/bin/env bash
-set -e
+set -ex
 cd "$(dirname "${BASH_SOURCE[0]}")/../.."
 mkdir -p etc/docker/_artifacts
 stack install --local-bin-path=etc/docker/_artifacts "$@"
-cp -r config static etc/docker/_artifacts/
+rsync -av --delete config static etc/docker/_artifacts/