From 78591a618b4bffcdfb9089ddeca20218b8110f10 Mon Sep 17 00:00:00 2001
From: Paul Lietar <paul@lietar.net>
Date: Fri, 29 Nov 2013 14:12:10 +0000
Subject: [PATCH] Remove plugins before copying them again.

This way plugins can rename/delete files w/o having old files lying around.
---
 Makefile                      | 1 +
 plugins/nginx-vhosts/commands | 9 ---------
 2 files changed, 1 insertion(+), 9 deletions(-)
 delete mode 100755 plugins/nginx-vhosts/commands

diff --git a/Makefile b/Makefile
index a30252443..4aac37a20 100644
--- a/Makefile
+++ b/Makefile
@@ -15,6 +15,7 @@ install: dependencies stack copyfiles plugins version
 
 copyfiles:
 	cp dokku /usr/local/bin/dokku
+	rm -Rf /var/lib/dokku/plugins
 	mkdir -p /var/lib/dokku/plugins
 	cp -r plugins/* /var/lib/dokku/plugins
 
diff --git a/plugins/nginx-vhosts/commands b/plugins/nginx-vhosts/commands
deleted file mode 100755
index bb5defd1e..000000000
--- a/plugins/nginx-vhosts/commands
+++ /dev/null
@@ -1,9 +0,0 @@
-#!/usr/bin/env bash
-set -eo pipefail; [[ $DOKKU_TRACE ]] && set -x
-
-case "$1" in
-  help)
-    cat
-    ;;
-esac
-