From 7dbeffd04162d1f72b9c1780c7dc6a62a7aeb58d Mon Sep 17 00:00:00 2001 From: Jose Diaz-Gonzalez Date: Thu, 1 Aug 2019 19:44:07 -0400 Subject: [PATCH] chore: drop unnecessary stdout redirect to /dev/null --- plugins/ps/functions | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/plugins/ps/functions b/plugins/ps/functions index 5cee618b7..00f1f6a9e 100755 --- a/plugins/ps/functions +++ b/plugins/ps/functions @@ -62,7 +62,7 @@ generate_scale_file() { local DOKKU_PROCFILE="$DOKKU_ROOT/$APP/DOKKU_PROCFILE" verify_app_name "$APP" - if copy_from_image "$IMAGE" "DOKKU_SCALE" "$DOKKU_SCALE_FILE" >/dev/null 2>&1; then + if copy_from_image "$IMAGE" "DOKKU_SCALE" "$DOKKU_SCALE_FILE" 2>/dev/null; then cp "$DOKKU_SCALE_FILE" "${DOKKU_SCALE_FILE}.extracted" else rm -f "${DOKKU_SCALE_FILE}.extracted"