#/bin/bash
wget -nc https://launchpad.net/ubuntu/+source/mutter/42.9-0ubuntu5/+build/26711789/+files/gir1.2-mutter-10_42.9-0ubuntu5_amd64.deb
wget -nc https://launchpad.net/ubuntu/+source/mutter/42.9-0ubuntu5/+build/26711789/+files/libmutter-10-0_42.9-0ubuntu5_amd64.deb
wget -nc https://launchpad.net/ubuntu/+source/mutter/42.9-0ubuntu5/+build/26711789/+files/mutter-common_42.9-0ubuntu5_all.deb
# Install the packages.
sudo dpkg -i *mutter*.deb
# Mark as hold.
sudo apt-mark hold gir1.2-mutter-10
sudo apt-mark hold libmutter-10-0
sudo apt-mark hold mutter-common