Chris (Aug 09 2023 at 20:30): Chris (Aug 09 2023 at 20:30):HI :) I would like to help with this issue
Although it would be my first time I would want to write it in roc!
Any tips on how to go about it? I'm not really sure where to put this script. Should i clone basic-cli?
Chris (Aug 09 2023 at 20:31):There doesn't seem to be any other roc script in the repo. Maybe it's better to write it in bash?
Luke Boswell (Aug 09 2023 at 21:34):I think @Anton will be the best person to advise on this. It may be a challenge to write it in roc, but if your interested we have a script for building the wip website using roc here, if there are features you need to make it possible please let me know so I can add to basic-cli. Maybe raise them on zulip in the ideas thread.
Anton (Aug 11 2023 at 10:32):Hi @ziutech,
If you'd still like to do it in roc, I suggest going steps by step.
For the first step I would recommend writing code to replace channel = "1.70.0" with channel = "1.71.0" in rust-toolchain.toml, using basic-cli readUtf8 and writeUtf8, as well as builtin string functions.
Chris (Aug 11 2023 at 18:03):Okay, I think I have something :D
I should probably open a PR?
Anton (Aug 11 2023 at 18:07):Cool! Yes, please :)
Last updated: Jul 05 2025 at 12:14 UTC