scripts for installing Linux Mint on PC or server