| commit | 0dd75378744a7e3a7893748f98f1d085e116d804 | [log] [tgz] |
|---|---|---|
| author | Matteo Scandolo <teo@opennetworking.org> | Tue Dec 18 13:13:22 2018 -0800 |
| committer | Matteo Scandolo <teo@opennetworking.org> | Tue Dec 18 15:12:11 2018 -0800 |
| tree | f002dc65cf99771634fbafd96d898ef2f94b2ddc | |
| parent | 4989ad9ff388ee7edc823ee55faa6848506a84b0 [diff] |
Fixing tag and push linting Change-Id: Ie3bbc92242a7bbb73593be400a96e814f8178720
diff --git a/developer/tag_and_push.sh b/developer/tag_and_push.sh index e82ac77..8366687 100755 --- a/developer/tag_and_push.sh +++ b/developer/tag_and_push.sh
@@ -115,7 +115,7 @@ if [[ ! -z "$registry" ]] then - images=$(echo $images | grep -v "${registry}") + images=$(echo "${images}" | grep -v "${registry}") fi for image in $(echo -e "${images}"); do