add more lint (#378)

This commit is contained in:
Saeed Vaziry
2024-11-25 23:27:37 +01:00
committed by GitHub
parent c926ce4271
commit b7184dcfc4
17 changed files with 489 additions and 549 deletions

View File

@ -3,7 +3,7 @@ wget https://downloads.mariadb.com/MariaDB/mariadb_repo_setup
chmod +x mariadb_repo_setup
sudo DEBIAN_FRONTEND=noninteractive ./mariadb_repo_setup \
--mariadb-server-version="mariadb-10.3"
--mariadb-server-version="mariadb-10.3"
sudo DEBIAN_FRONTEND=noninteractive apt-get update