What distro he uses? 🐧💻