Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Use of Pathlib's Path and Fix of Windows-Specific Problems #6

Merged
merged 5 commits into from
Oct 7, 2024

Conversation

GreasySlug
Copy link
Contributor

Caution

erg-lang/erg#526

This has updated the Generator, so the error occurs in erg stable versions

python3 <(curl -L https://github.com/mtshiba/ergup/raw/main/ergup.py) - nightly

Refactor

  • partial utilization
    • Path in pathlib
    • request in urllib

Fix

ref to: https://docs.python.org/3.11/library/shutil.html#rmtree-example

In windows11(or 10), .git marks as read-only and hidden when poise is cloned from github

so, make it writable and delete

@mtshiba
Copy link
Owner

mtshiba commented Sep 30, 2024

Your code seems okay, but it looks like the transpilation component of the Erg compiler causes a bug when transpiling this into a Python script. Please wait until the bug is fixed.

@GreasySlug
Copy link
Contributor Author

All right!!
I'll look into it on my end.

@mtshiba mtshiba merged commit 17d5628 into mtshiba:main Oct 7, 2024
3 checks passed
@mtshiba
Copy link
Owner

mtshiba commented Oct 7, 2024

Thank you!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants