Gitlab CI integration: fix config.ini initialization

build.sh

@@ -3,9 +3,9 @@ COVERAGE_DIR="coverage/$(basename "$PWD")/${CI_BUILD_REF_NAME}/${CI_BUILD_ID}"
 source ./update.sh
 cp config.ini.default config.ini
 cp index.php.default index.php
-sed -i s/sgbd.config.username =/sgbd.config.username = opac/g config.ini
-sed -i s/sgbd.config.password =/sgbd.config.password = opac/g config.ini
-sed -i s/sgbd.config.dbname =/sgbd.config.dbname = opac/g config.ini
+sed -i "s/sgbd.config.username =/sgbd.config.username = opac/g" config.ini
+sed -i "s/sgbd.config.password =/sgbd.config.password = opac/g" config.ini
+sed -i "s/sgbd.config.dbname =/sgbd.config.dbname = opac/g" config.ini
 touch local.php
 phpunit -c tests/phpunit.xml --coverage-text=coverage.txt --coverage-html="../${COVERAGE_DIR}"
 echo "coverage report at /${COVERAGE_DIR}"