mirror of
https://github.com/dokku/dokku.git
synced 2025-12-28 16:06:40 +01:00
Remove plugins before copying them again.
This way plugins can rename/delete files w/o having old files lying around.
This commit is contained in:
1
Makefile
1
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
|
||||
|
||||
|
||||
@@ -1,9 +0,0 @@
|
||||
#!/usr/bin/env bash
|
||||
set -eo pipefail; [[ $DOKKU_TRACE ]] && set -x
|
||||
|
||||
case "$1" in
|
||||
help)
|
||||
cat
|
||||
;;
|
||||
esac
|
||||
|
||||
Reference in New Issue
Block a user