RT @fermatslibrary: Debian Linux is the operating system used in most terminals in the International Space Station. Before 2013, it was Mic…