@Pavel tio.run/#osh

Thanks!

@Dennis Thanks! And just the default packages are fine.

@Dennis would you mind pulling Decimal?

Oh and if possible can you specify that bytes for Decimal should be counted in UTF-8?

@Dennis can you pull Pyt?

@MDXF So all the stuff in pkg isn't needed? Because that takes up 1.9 GiB of disk space...

@Dennis I'll look through and see if there's anything that could really be useful.

@MDXF @mudkip201 Pulled Decimal and Pyt.

Thanks

Thanks :)

@Pavel Even if I use the prebuilt binaries, I still need OPAM. And I don't even have OPAM...

@MDXF Done.

Thanks!

@Dennis github.com/basic-gongfu/cixl/commit/…

Yes, I got the email. :P

@Dennis Well that sucks :/

There are rpms for OpenSUSE that probably work on Fedora at software.opensuse.org/package/opam

Unstable packages for an entirely different OS. What could possibly go wrong? :P

@Dennis It's not that different, I've done it before.

Hush and let me be pessimistic. :P

How often does it actually matter to get an rpm for a specific version of a distro? Lots of software promises to, and general does, work on every rpm-based distro and just gives one rpm for itself. Other give seperate rpms for Fedora 27, 26, 25, Suse, CentOS, RHEL, etc.

@Dennis By the way, F* requires a few system packages from dnf that opam won't install for you, specifically gmp-devel, m4, and perl-Pod-Html. Personally, I didn't have perl-Pod-Html.

Hooray, more dependencies!

F* is making me feel less bad about the Clean shenanigans.

@MartinEnder @Pavel tio.run/#cixl

@Οurous There's been worse. Felix and Reason were pretty bad, as were a few others.

@Dennis My cube solver needs to generate some cache files. Is there somewhere on TIO's filesystem it can write to without them being deleted each time Cubically finishes?

@MDXF No. If you need a cache, I'll have to fill it when I pull.

@Dennis Hmm. It writes to /tmp/kociemba-cache. Would that stay constant?

(If you were to fill it when pulling)

@MDXF I'm pretty sure /tmp only gets cleaned when the system restarts, which shouldn't be that often for TIO.

@MDXF In a way. After running the Cubically interpreter with whatever programs you tell me to (preferably via make cache), I'd move the cache to /opt/cubically and copy or symlink it in the Cubically wrapper.

Also, this has nothing to do with TIO, but the "right" location for a cache is ~/.cache.

@Pavel The sandbox doesn't have access to the real /tmp.

@Dennis Ah I'll do that instead

~/.cache/cubically for a per-user cache, /var/cache/cubically for a system-wide cache (not recommended for an esolang).

Issue is, trying to mkdir("~/cache/cubically") in C will make a new directory called ~ in the current directory. IIRC.

Additionally trying to mkdir("/var/cache/cubically") requires sudoer privileges... this is proving rather difficult. How hard would it be for you to set it up so that virtually every time Cubically is run it accesses /tmp/cubically-cache? @Dennis

@MDXF You can get ~ with getenv("HOME")

Hello. I would like to request pull on Huginn. Thank you :)

@Dennis ping ^ :)

@Dennis awesome :)

@Dennis exposure for TIO: reddit.com/r/ProgrammingLanguages/comments/7skagq/… (if you have a reddit account you might wanna reply to that first comment)

@AmokHuginnsson Done.

@MDXF Yes, a system-wide cache is a bad idea for an esolang, because it shouldn't require root privileges. Using ~/.cache (don't forget the dot) should be easy enough with getenv("HOME"), but I only suggested this for the sake of the Cubically interpreter interpreter itself.

/tmp/cubically-cache works well enough, but it gets cleared between reboots, and you'll have issues if two accounts try to use Cubically on the same system. For TIO, since I have to move around the cache dir anyway, it doesn't matter where is has to go, as long as it's a subdirectory of ~ or /tmp.

@MartinEnder I don't, but looks like somebody cleared it up. Thanks for the link. :)

yeah, just thought in case you wanted to add anything

@Dennis Could you pull Attache please?

@ConorO'Brien Done.