update linux.html