I dislike Ubuntu, so hopefully Debian really will work. --- Double Post Merged, Jun 24, 2019, Original Post Date: Jun 24, 2019 --- I really don't want to have to join a discord server though. Will the patches be uploaded anywhere else? --- Double Post Merged, Jun 24, 2019 --- Also, yeah, the built-in keypad doesn't work in the debian installer. That's weird, isn't it just an internal PS/2 interface like most laptops?