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

[inequality] Translation Update #129

Open
wants to merge 4 commits into
base: main
Choose a base branch
from
Open

[inequality] Translation Update #129

wants to merge 4 commits into from

Conversation

XYshi725
Copy link

Hi, everyone! I made some changes on inequality. Please have a look and provide some suggestions. Thank you!

Hi, everyone! I made some changes on inequality. Please have a look and provide some suggestions. Thank you!
Copy link

netlify bot commented Jan 16, 2025

Deploy Preview for playful-platypus-17d3bb ready!

Name Link
🔨 Latest commit fba6f57
🔍 Latest deploy log https://app.netlify.com/sites/playful-platypus-17d3bb/deploys/67a9945040d2740008d22f05
😎 Deploy Preview https://deploy-preview-129--playful-platypus-17d3bb.netlify.app
📱 Preview on mobile
Toggle QR Code...

QR Code

Use your smartphone camera to open QR code link.

To edit notification comments on pull requests, go to your Netlify site configuration.

Copy link

github-actions bot commented Jan 16, 2025

@github-actions github-actions bot temporarily deployed to pull request January 16, 2025 09:28 Inactive
@github-actions github-actions bot temporarily deployed to pull request January 16, 2025 09:29 Inactive
@HumphreyYang
Copy link
Contributor

Thanks @XYshi725 for the PR.

I think the file is currently in the top directory. Could you please move your edits to the lectures directory where the old lecture is hosted?

@github-actions github-actions bot temporarily deployed to pull request February 9, 2025 15:14 Inactive
@XYshi725
Copy link
Author

XYshi725 commented Feb 9, 2025

Thanks @XYshi725 for the PR.

I think the file is currently in the top directory. Could you please move your edits to the lectures directory where the old lecture is hosted?

Sorry for the mistake... I've removed the edits to the lectures directory.

@github-actions github-actions bot temporarily deployed to pull request February 10, 2025 02:00 Inactive
@github-actions github-actions bot temporarily deployed to pull request February 10, 2025 02:01 Inactive
@HumphreyYang
Copy link
Contributor

Thanks @XYshi725,

Please be careful about the file name. lectures/ inequality.md is different from lectures/inequality.md. It would be more convinient to edit the file directly.

Please let me know if you are unsure how to do it!

@github-actions github-actions bot temporarily deployed to pull request February 10, 2025 05:59 Inactive
@github-actions github-actions bot temporarily deployed to pull request February 10, 2025 06:00 Inactive
@XYshi725
Copy link
Author

Thanks @XYshi725,

Please be careful about the file name. lectures/ inequality.md is different from lectures/inequality.md. It would be more convinient to edit the file directly.

Please let me know if you are unsure how to do it!

Sorry... I renamed the file using the website on my phone because my laptop was not with me for the past two days. Could you please tell me how to rename the file through the command line? I am not clear about that.

@HumphreyYang
Copy link
Contributor

No worries @XYshi725! You can rename using mv "oldname" "newname" in the directory that contains the file.

You can also try using IDE such as VScode.

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