What is Linux The basics July 28th 2020