dokku/dokku-redis
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

quiet grep output

Browse Source
This commit is contained in:
Jose Diaz-Gonzalez
2015-08-28 23:26:05 -04:00
parent f13cdb52da
commit 53e54f0938
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
commands
View File

@@ -80,7 +80,7 @@ case "$1" in
fi fi
dokku_log_info1 "Deleting $SERVICE" dokku_log_info1 "Deleting $SERVICE"
if [[ -f "$SERVICE_ROOT/ID" ]] && docker ps -aq --no-trunc | grep $(cat "$SERVICE_ROOT/ID"); then if [[ -f "$SERVICE_ROOT/ID" ]] && docker ps -aq --no-trunc | grep -q $(cat "$SERVICE_ROOT/ID"); then
ID=$(cat "$SERVICE_ROOT/ID") ID=$(cat "$SERVICE_ROOT/ID")
dokku_log_verbose_quiet "Deleting container data" dokku_log_verbose_quiet "Deleting container data"