Ticket #12190 (closed task: fixed)
Remove useless scripts from local/bin
| Reported by: | mderickx | Owned by: | tbd |
|---|---|---|---|
| Priority: | major | Milestone: | sage-4.8 |
| Component: | misc | Keywords: | sd35 |
| Cc: | saraedum | Work issues: | |
| Report Upstream: | N/A | Reviewers: | Julian Rueth, Jeroen Demeyer |
| Authors: | Maarten Derickx | Merged in: | sage-4.8.alpha6 |
| Dependencies: | Stopgaps: |
Description (last modified by mderickx) (diff)
sage-grep is not needed since we now have search_src same goes for sage-grep-doc and sage-verify-pyc is not needed either and sage-sage.py is also useless right now, see: http://trac.sagemath.org/sage_trac/ticket/21#comment:19
Apply
to the sage-scripts repository.
Attachments
-
12190-remove-old-scripts.patch
(2.6 KB) -
added by mderickx 17 months ago.
-
12190-remove-old-scripts.patch.patch
(3.5 KB) -
added by mderickx 17 months ago.
Change History
comment:4 Changed 17 months ago by saraedum
- Reviewers set to Julian Rueth
- Component changed from PLEASE CHANGE to misc
- Description modified (diff)
- Type changed from PLEASE CHANGE to task
comment:8 Changed 17 months ago by jdemeyer
- Status changed from positive_review to needs_work
You should also remove the calls to these scripts from sage-sage.
comment:9 Changed 17 months ago by mderickx
- Status changed from needs_work to needs_review
- Description modified (diff)
comment:10 Changed 17 months ago by jdemeyer
- Status changed from needs_review to closed
- Reviewers changed from Julian Rueth to Julian Rueth, Jeroen Demeyer
- Resolution set to fixed
- Merged in set to sage-4.8.alpha6
Looks good, thanks!
Note: See
TracTickets for help on using
tickets.
