La consola de Linux – hacer un fichero ejecutable