Opened 9 years ago
Last modified 9 years ago
#14184 closed defect
Fix # optional tags — at Version 1
Reported by: | jdemeyer | Owned by: | mvngu |
---|---|---|---|
Priority: | major | Milestone: | sage-5.8 |
Component: | doctest coverage | Keywords: | |
Cc: | jpflori, dimpase | Merged in: | |
Authors: | Jeroen Demeyer | Reviewers: | |
Report Upstream: | N/A | Work issues: | |
Branch: | Commit: | ||
Dependencies: | Stopgaps: |
Description (last modified by )
Execute
for file in `find devel/sage/sage -name '*.py*'`; do sed -i -f /dev/stdin $file <<'EOF' s/# *requires optional/# optional:/i; s/# *optional and /# optional; /i; s/# *optional[-: ]* needs /# optional: /i; s/# *optional[-: ]* requires /# optional: /i; s/# *optional[-: ]* the /# optional: /i; s/# *optional[-: ]* package/# optional:/i; s/# *optional[-: ]* \([A-Za-z0-9]*\) command/# optional: \1/i; s/# *optional[-: ]* \([A-Za-z0-9]*\) and /# optional: \1 /i; s/# *optional[-: ]* \([A-Za-z0-9]*\) \(not tested\)/# optional: \1; \2/i; s/# *optional[-: ]* internet connection/# optional: internet/i; s/# *optional[-: ]* GAP package \([A-Za-z0-9']*\)/# optional: gap_packages (\1 package)/i; s/# *optional[-: ]* GAP optional databases*/# optional: database_gap/i; s/# *optional[-: ]* '\(.*\)'/# optional: \1/i; s/\(# *optional\)[-: ]*$/\1/i; s/# *optional[-: ]* \(.*\)# *$/# optional: \1/i; EOF done
Note: See
TracTickets for help on using
tickets.