update log.txt in Linux examples.