Ahora, debemos descargar el cdigo fuente. Cmo an no me aclaro demasiado con el comando git, lo hice a la vieja usanza. As que vamos al Github de la versin 2.11 de Sonic Pi y descargamos el .zip. Lo mejor es descargar el archivo en el home del usuario o copiarlo luego. Extraemos el zip en la home del usuario si no lo habis descargado all antes.