It has been tricky installing Linux on the Lenovo Ideapad 720s and I wanted to write down all the research I did to get it working. It was also my first time playing with an Arch-based distro (Antergos) and it has been fun. Hope someone will find this helpful.