Setting up devenv in Linux document updated