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

another typo #22940

Closed
fchapoton opened this issue May 3, 2017 · 8 comments
Closed

another typo #22940

fchapoton opened this issue May 3, 2017 · 8 comments

Comments

@fchapoton
Copy link
Contributor

sequel of #19452, that was not taken care of

CC: @tscrim @jm58660

Component: documentation

Author: Frédéric Chapoton

Branch/Commit: 35d3fb3

Reviewer: Travis Scrimshaw

Issue created by migration from https://trac.sagemath.org/ticket/22940

@fchapoton fchapoton added this to the sage-8.0 milestone May 3, 2017
@fchapoton
Copy link
Contributor Author

Branch: u/chapoton/22940

@fchapoton
Copy link
Contributor Author

Commit: 35d3fb3

@fchapoton
Copy link
Contributor Author

New commits:

35d3fb3another little typo

@tscrim
Copy link
Collaborator

tscrim commented May 4, 2017

comment:2

LGTM.

@tscrim
Copy link
Collaborator

tscrim commented May 4, 2017

Reviewer: Travis Scrimshaw

@jm58660
Copy link
Mannequin

jm58660 mannequin commented May 4, 2017

comment:3

fgrep -R ' a inf' src/sage -R founds two more, and

egrep ' a [aeiouy][a-z]{3,}' -R src/sage -o --no-filename | sort | uniq -c

founds for example "a open" six times.

@jm58660
Copy link
Mannequin

jm58660 mannequin commented May 4, 2017

comment:4

Shell is fun, so some more:

egrep ' an [aeiouy][a-z]{3,}' -R src/sage -o --no-filename | sort -u | colrm 1 4 > /tmp/an
egrep ' a [aeiouy][a-z]{3,}' -R src/sage -o --no-filename | sort -u | colrm 1 3 > /tmp/a
fgrep -x --file=/tmp/a /tmp/an

Some way to extract parts from docstrings and feed them to spell checker would be nice.

@vbraun
Copy link
Member

vbraun commented May 8, 2017

Changed branch from u/chapoton/22940 to 35d3fb3

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

3 participants