Opened 4 months ago
Closed 4 months ago
#33450 closed enhancement (fixed)
Improve vs code config
Reported by: | gh-tobiasdiez | Owned by: | |
---|---|---|---|
Priority: | critical | Milestone: | sage-9.6 |
Component: | build | Keywords: | |
Cc: | mkoeppe, chapoton, jhpalmieri | Merged in: | |
Authors: | Tobias Diez | Reviewers: | Matthias Koeppe |
Report Upstream: | N/A | Work issues: | |
Branch: | 6f809f5 (Commits, GitHub, GitLab) | Commit: | 6f809f557e7dc5ac0437d3667baa04daf891d338 |
Dependencies: | Stopgaps: |
Description
Change the VS code config as follows:
- Use the correct path to the python executable (python doesn't exists for me in bin, but python3 does)
- Remove deprecated/unused config options
- Exclude symlinks to sage/src from search, since otherwise they show up as multiple hits (please add such symlinks in the vs config in the future).
Change History (5)
comment:1 Changed 4 months ago by
- Status changed from new to needs_review
comment:2 Changed 4 months ago by
- Commit changed from dfae4dc48a6e9742b359257ece8d966a7b8af42c to 6f809f557e7dc5ac0437d3667baa04daf891d338
comment:3 Changed 4 months ago by
- Reviewers set to Matthias Koeppe
- Status changed from needs_review to positive_review
comment:4 Changed 4 months ago by
Thanks!
comment:5 Changed 4 months ago by
- Branch changed from public/build/vscode_improve_config to 6f809f557e7dc5ac0437d3667baa04daf891d338
- Resolution set to fixed
- Status changed from positive_review to closed
Note: See
TracTickets for help on using
tickets.
Branch pushed to git repo; I updated commit sha1. New commits:
src/doc/en/developer/packaging_sage_library.rst: Document that search.exclude needs to be updated