diff options
author | Andrei Karas <akaras@inbox.ru> | 2018-05-04 00:33:16 +0300 |
---|---|---|
committer | Andrei Karas <akaras@inbox.ru> | 2018-05-04 00:33:16 +0300 |
commit | f41889c55a3d23c83db0a8cb45a14ddb9c801a84 (patch) | |
tree | e20b7c987286eb5577949fdd3ed505d717b06242 | |
parent | 6206e4ccf560cb950dbbd2174ccd8a92f5526b5d (diff) | |
download | serverdata-f41889c55a3d23c83db0a8cb45a14ddb9c801a84.tar.gz serverdata-f41889c55a3d23c83db0a8cb45a14ddb9c801a84.tar.bz2 serverdata-f41889c55a3d23c83db0a8cb45a14ddb9c801a84.tar.xz serverdata-f41889c55a3d23c83db0a8cb45a14ddb9c801a84.zip |
Dont hide packages install process in ci.
-rwxr-xr-x | .tools/scripts/init.sh | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/.tools/scripts/init.sh b/.tools/scripts/init.sh index d6af8a5b..4cc644e3 100755 --- a/.tools/scripts/init.sh +++ b/.tools/scripts/init.sh @@ -82,6 +82,7 @@ function update_repos { function aptget_update { update_repos + echo apt-get update apt-get update if [ "$?" != 0 ]; then sleep 1s @@ -95,13 +96,14 @@ function aptget_update { } function aptget_install { - apt-get -y -qq install $* + echo apt-get -y install $* + apt-get -y install $* if [ "$?" != 0 ]; then sleep 1s - apt-get -y -qq install $* + apt-get -y install $* if [ "$?" != 0 ]; then sleep 2s - apt-get -y -qq install $* + apt-get -y install $* fi fi check_error $? |