@JoKing tio.run/#muriel

awesome, thanks!

@Dennis why is it undefined bytes though?

@JoKing Apparently, I can't type UTF-8 from memory. Fixed.

<3

@Dennis curated-clean now comes with an install.sh which for TIO you'd just run in-place without arguments to get all the modules ready.

@Οurous So, clone, then CLEAN_HOME=/opt/clean ./install.sh?

@Dennis If you just clone into /opt/clean it'll work fine without setting CLEAN_HOME, or you can clone it anywhere and invoke it like ./install.sh <Directory_Where_Clean_Goes>

There are still a few errors in Generics and one in Clean.PrettyPrin but I can't fix any of them, and nothing that worked last time is broken.

@Οurous Ah, neat.

Pulled.

Thanks :)

@Dennis Does the install script actually get run? Because this should have an error, but certainly not that one, and the file in tiosetup hasn't changed.

@Οurous Yeah, it didn't really do anything without setting CLEAN_HOME. That seems to have changed with the latest commits; I'm now getting the same output without CLEAN_HOME that I was getting with.

@Dennis Can you install python38? Doesn't have to be an actual language, just calling it from bash is fine