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

把 apt 默认源还原为官方源,同时提供清华源为另一选择 #33

Merged
merged 4 commits into from
Jul 30, 2023

Conversation

pic4xiu
Copy link
Contributor

@pic4xiu pic4xiu commented Jul 29, 2023

校友好啊,我在替换 apt 源的时候发现 16 的清华源在我这个时间段是不可用的,我尝试把 apt 默认源改成了官方的,pip 源未做修改,解决了我现在的问题。

借助解决这个小问题的机会,我尝试提交这个 PR。我觉得使用第三方的(尽管是清华源)终归是没有官方的稳定。之前也看到 vulhub 有个 PR 是关于把默认 apt 源改成 USTC 的,p神表达了自己的想法。

pip 源的话也可以用此方式修改,暂时还未修改。提交这个 PR 看看符不符合你的想法,如果不符合的话直接关闭就行~

@firmianay
Copy link
Member

作为一个可选项很好,把pip也改一下吧

@pic4xiu
Copy link
Contributor Author

pic4xiu commented Jul 29, 2023

师傅过目一下

@firmianay firmianay merged commit 80a58b0 into Vu1nT0tal:master Jul 30, 2023
@firmianay
Copy link
Member

感谢师傅

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.

None yet

2 participants