distro.tools: Scripts for lazy Linux usersPublished on 2019-08-04 in 👨💻 DevUpdated on 2023-06-08Update 2023: This project is dead. I mainly use Windows now and the domain is pretty expensive. Don’t execute distro.tools commands anymore!View