Send the topic "Tools menu and Linux environment" to a friend.