Estou utilizando o Linux, para ser mais preciso, Ubuntu 20.04 porém ao acessar a opção mencionada na aula, a "MySQL Community (GPL) Downloads" eu não encotro uma opção senão a de Windows, pelo menos nada explícito para ambiente Linux. Pesquisando por aí encontrei alguns command lines que poderiam ajudar mas fico com receio de que não adiante para o curso. Gostaria de fazer a instalação do MySql juntamente com o Workbench assim como foi mostrado no Windows. Seria possível?