merge linux and prompt repos