script for updating rust version

[ziutech]

#5691

[ziutech]

One problem I see is that lines in created file end with to \n\r and I'm not sure why. Does roc always treat "\n" as \n\r or is it something in basic-cli?

[Anton-4]

Thanks @ziutech, I'll take a look :)

[Anton-4]

I've looked at this a bit but got caught up with the basic-cli 0.5.0 release. I'll try to finish my review on monday.

[Anton-4]

The code looks good @ziutech :) I've played around with a bunch of things to try to create the perfect roc script :p
I've also upgraded the code to basic-cli 0.5.

I've left some suggestions for optional further improvements.
Feel free to continue implementing the next steps if you'd like.

We can continue working in this PR, let me know if you'd no longer be available to work on this, then we can merge in what we have.

[ziutech]

I'll happily continue writing this script :)

About finding the latest nightly I was thinking if we could do a binary search between OLD_DATE and current date? Or is it better to just search linearly?

[Anton-4]

Good question! I think the best compromise would be to clone the rust-overlay repo: git clone --depth 1 https://github.com/oxalica/rust-overlay.git (to prevent lots of http requests) and then linearly go over the files. The speedup from a binary search is probably not worth the added complexity.

[ziutech]

@Anton-4 Where should I clone the rust-overlay to? I was thinking of adding it to .gitignore and then just pulling the changes, instead of cloning it everytime.

[Anton-4]

Just the current directory is fine. There's no need to try to get only the changes, with '-d 1' it will already be very fast. I would remove the repo's directory as part of the script once you have the necessary date.

[github-actions]

Thank you for your contribution! Sometimes PRs end up staying open for a long time without activity, which can make the list of open PRs get long and time-consuming to review. To keep things manageable for reviewers, this bot automatically closes PRs that haven’t had activity in 60 days. This PR hasn’t had activity in 30 days, so it will be automatically closed if there is no more activity in the next 30 days. Keep in mind that PRs marked Closed are not deleted, so no matter what, the PR will still be right here in the repo. You can always access it and reopen it anytime you like!

[github-actions]

Thank you for your contribution! Sometimes PRs end up staying open for a long time without activity, which can make the list of open PRs get long and time-consuming to review. To keep things manageable for reviewers, this bot automatically closes PRs that haven’t had activity in 60 days. This PR hasn’t had activity in 30 days, so it will be automatically closed if there is no more activity in the next 30 days. Keep in mind that PRs marked Closed are not deleted, so no matter what, the PR will still be right here in the repo. You can always access it and reopen it anytime you like!