Add comprehensive GitHub Copilot instructions for lecture-python.zh-cn repository #67
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This PR adds a comprehensive
.github/copilot-instructions.md
file that provides GitHub Copilot coding agents with detailed instructions for working effectively in the lecture-python.zh-cn repository.What's Included
The instructions cover all essential aspects of working with this Jupyter Book project:
Setup & Environment Management:
Build Process & Timing:
Validation & Testing:
Repository Structure:
_build/jupyter/
,_build/html/
)Troubleshooting Guide:
Validation
All commands and timing estimates were thoroughly tested:
The instructions ensure any developer can clone the repository and immediately start working effectively with clear, tested commands that "just work."
Fixes #66.
Warning
Firewall rules blocked me from connecting to one or more addresses (expand for details)
I tried to connect to the following addresses, but was blocked by firewall rules:
cdnjs.cloudflare.com
/usr/share/miniconda/envs/quantecon/lib/orca_app/orca --no-sandbox -p --plotly --graph-only --mathjax serve 42347 /usr/share/miniconda/envs/quantecon/lib/python3.12/site-packages/plotly/package_data/plotly.min.js REDACTED
(dns block)mirrors.tuna.tsinghua.edu.cn
/usr/share/miniconda/envs/quantecon-cn/bin/python -m pip install -U -r /home/REDACTED/work/lecture-python.zh-cn/lecture-python.zh-cn/condaenv.moxdv15b.requirements.txt --exists-action=b
(dns block)quantecon.github.io
/usr/share/miniconda/envs/quantecon/bin/python /usr/share/miniconda/envs/quantecon/bin/jupyter-book build lectures --path-output ./ --builder=custom --custom-builder=jupyter
(dns block)/usr/share/miniconda/envs/quantecon/bin/python /usr/share/miniconda/envs/quantecon/bin/jupyter-book build lectures/intro.md --path-output _test/
(dns block)/usr/share/miniconda/envs/quantecon/bin/python /usr/share/miniconda/envs/quantecon/bin/jupyter-book build lectures/linear_algebra.md --path-output _test2/
(dns block)If you need me to access, download, or install something from one of these locations, you can either:
✨ Let Copilot coding agent set things up for you — coding agent works faster and does higher quality work when set up for your repo.