Cómo utilizar la terminal de Linux en Windows 10