Setting up MySQL Workbench

Download the .exe installer from https://dev.mysql.com/downloads/installer/
Install all the required components (I installed the complete package).
Keep a note of the admin password as it will be required extensively in the future.
Once installed, set the environment variables as below:

Launch Command Prompt.
Verify the installation by running mysql — version → This should print something like:
mysql Ver 8.0.40 for Win64 on x86_64 (MySQL Community Server — GPL)
mysql -u root -p
Provide the admin password configured during installation.
Create a database:

I’m going to use the first database so run
use avidb1;