How to tell what Linux OS you’re running