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

Renaming all files in RepoV2 with .sol extension to without extension #1651

Closed
4 tasks done
kuzdogan opened this issue Sep 23, 2024 · 1 comment
Closed
4 tasks done
Assignees

Comments

@kuzdogan
Copy link
Member

kuzdogan commented Sep 23, 2024

In accordance to #1648 we should remove the .sol extension of the existing files in the RepositoryV2 retrospectively. This is a basic bash command to run on the repo. Keep in mind the command can take time and should be run on a tmux etc.

Steps:

@kuzdogan kuzdogan converted this from a draft issue Sep 23, 2024
@kuzdogan kuzdogan changed the title Renaming all files under /sources/0xadbsa.sol to without .sol Renaming all files in RepoV2 with .sol extension to without extension Sep 23, 2024
@manuelwedler manuelwedler self-assigned this Sep 23, 2024
@manuelwedler
Copy link
Collaborator

Ran the script again on production and actually it was already successful when I ran it two weeks ago. It was just not possible to check the result due to the SSH issues.

@github-project-automation github-project-automation bot moved this from Sprint - In Progress to Sprint - Done in Sourcify Public Oct 29, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
Archived in project
Development

No branches or pull requests

2 participants