diff options
| author |  Joe Banks <[email protected]> | 2021-01-10 23:53:05 +0000 |
|---|---|---|
| committer |  GitHub <[email protected]> | 2021-01-10 23:53:05 +0000 |
| commit | 7e6000e484fe1d30f7b7d0f629c6e188c08761ab (patch) | |
| tree | e0718594af33f7d1f2688d080b74a0435f93d38a /scripts | |
| parent | Create dependency cache directory if not present (diff) | |
| parent | Removing trailing whitespaces from README.md (diff) | |
Merge pull request #64 from python-discord/feat/deps/63/pep8-naming
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/dev.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/dev.sh b/scripts/dev.sh index f9cd28e..3f94874 100755 --- a/scripts/dev.sh +++ b/scripts/dev.sh @@ -24,6 +24,7 @@ if [ "$1" = "--build" ]; then if [ -n "${dangling_imgs}" ]; then printf "Removing dangling images..." + # shellcheck disable=SC2086 docker rmi $dangling_imgs >/dev/null \ && printf " done!\n" || exit "$?" fi |