MySQL GPG Public Key を apt-key add する

Download the MySQL GPG Public key (see Signature Checking Using GnuPG on how to do that) and save it to a file, without adding any spaces or special characters. Then, add the key to your system's GPG keyring with the following command:
shell> sudo apt-key add path/to/signature-file

もしくは pgp.mit.edu で入手する手も。

Alternatively, you can download the GPG key to your APT keyring directly using the apt-key utility:
shell> sudo apt-key adv --keyserver pgp.mit.edu --recv-keys 5072E1F5

めんどいので後者にした。

% apt-key adv --keyserver pgp.mit.edu --recv-keys 5072E1F5

Ubuntu のバージョンにあった MySQL のレポジトリを登録する

Create a file named /etc/apt/sources.list.d/mysql.list, and put into it repository entries in the following format:
deb http://repo.mysql.com/apt/{debian|ubuntu}/ {jessie|wheezy|precise|trusty|utopic|vivid} {mysql-5.6|mysql-5.7|workbench-6.2|utilities-1.4|connector-python-2.0}

% echo "deb http://repo.mysql.com/apt/ubuntu/ trusty mysql-5.7" | tee /etc/apt/sources.list.d/mysql.list

apt-get install

あとは普通にインストール

% apt-get update
% apt-get install -y mysql-server

まとめ

ということで provision のファイルに下記を追加した。

# via. http://dev.mysql.com/doc/mysql-apt-repo-quick-guide/en/#repo-qg-apt-repo-manual-setup
apt-key adv --keyserver pgp.mit.edu --recv-keys 5072E1F5
echo "deb http://repo.mysql.com/apt/ubuntu/ trusty mysql-5.7" | tee /etc/apt/sources.list.d/mysql.list
apt-get update
apt-get install -y mysql-server

感想

最初 mysql-apt-config_0.X.X-X_all.deb ファイルをダウンロードして紫背景の設定画面を操作するマニュアルなインストール方法しか見つけられなくてハマった。