Use the kbd role in the doc

[fchapoton]

in particular to represent the Tab key as can be seen already near the end of

https://doc.sagemath.org/html/en/installation/launching.html

CC: @tscrim @kwankyu @kliem @slel

Component: documentation

Author: Frédéric Chapoton, ​John Palmieri

Branch/Commit: a0e1d3b

Reviewer: Kwankyu Lee

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

[fchapoton]

Commit: 75fa0fd

[fchapoton]

New commits:

75fa0fd

using the :kbd: role in the documentation (for Tab and other keys)

[fchapoton]

Branch: u/chapoton/34629

[sagetrac-git]

Changed commit from 75fa0fd to fbf3083

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

fbf3083

a few more

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

78f9a47

again a few more :kbd:

[sagetrac-git]

Changed commit from fbf3083 to 78f9a47

[jhpalmieri]

comment:5

I've found some more. Can I push some changes?

[jhpalmieri]

Changed branch from u/chapoton/34629 to u/jhpalmieri/34629

[fchapoton]

Changed commit from 78f9a47 to 045adfb

[fchapoton]

comment:7

sure, please do. Typo in your commit

:kbd:`Tab` key key

in src/doc/en/tutorial/interactive_shell.rst

---

New commits:

045adfb

trac 34629: more :kbd:

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:

3900ab7

trac 34629: more :kbd:

[sagetrac-git]

Changed commit from 045adfb to 3900ab7

[jhpalmieri]

comment:9

Typo fixed, thank you for catching that.

[fchapoton]

comment:10

oh, this breaks our rst linter, for instance

sage/databases/sql_db.py:1263:1: RST304 Unknown interpreted text role "kbd".

so we need to add this role to some list somewhere. But where ?

[fchapoton]

comment:11

probably in src/tox.ini where there is a list "rst-roles"

[fchapoton]

comment:12

let's see

---

New commits:

a0e1d3b

adding kbd to authorized roles

[fchapoton]

Changed branch from u/jhpalmieri/34629 to u/chapoton/34629

[fchapoton]

Changed commit from 3900ab7 to a0e1d3b

[fchapoton]

comment:13

The linter is now happy. Let's wait for the rest of the reports.

[fchapoton]

comment:14

good. John, please set to positive if you agree.

[kwankyu]

comment:15

LGTM in code and in doc.

[kwankyu]

Reviewer: Kwankyu Lee

[kwankyu]

Changed author from Frédéric Chapoton to Frédéric Chapoton, ​John Palmieri

[vbraun]

Changed branch from u/chapoton/34629 to a0e1d3b