update linux.txt