--skip-tools

Overview

Skip the 'Tools' repository.

See also: mariadb_es_repo_setup for MariaDB Enterprise Server