A friend of mine asked me to help him set up linux on his newly purchased Lenovo laptop (doesn’t have an OS preinstalled).