Skip to content

Commit d841187

Browse files
committed
minor #20185 Replace code block text with terminal where it was used incorrectly (wkania)
This PR was merged into the 5.4 branch. Discussion ---------- Replace code block text with terminal where it was used incorrectly Console commands in section 5 https://symfony.com/doc/current/contributing/community/reviews.html Not all console output is displayed as terminal https://symfony.com/doc/current/components/console/helpers/table.html I have also checked Progress Bar, but the console output there is modified with comments. Commits ------- 00bb378 Replace code block text with terminal where it was used incorrectly
2 parents 83c9b28 + 00bb378 commit d841187

File tree

2 files changed

+4
-4
lines changed

2 files changed

+4
-4
lines changed

components/console/helpers/table.rst

+2-2
Original file line numberDiff line numberDiff line change
@@ -199,7 +199,7 @@ You can also set the style to ``box``::
199199

200200
which outputs:
201201

202-
.. code-block:: text
202+
.. code-block:: terminal
203203
204204
┌───────────────┬──────────────────────────┬──────────────────┐
205205
│ ISBN │ Title │ Author │
@@ -217,7 +217,7 @@ You can also set the style to ``box-double``::
217217

218218
which outputs:
219219

220-
.. code-block:: text
220+
.. code-block:: terminal
221221
222222
╔═══════════════╤══════════════════════════╤══════════════════╗
223223
║ ISBN │ Title │ Author ║

contributing/community/reviews.rst

+2-2
Original file line numberDiff line numberDiff line change
@@ -167,15 +167,15 @@ Pick a pull request from the `PRs in need of review`_ and follow these steps:
167167
PR by running the following Git commands. Insert the PR ID (that's the number
168168
after the ``#`` in the PR title) for the ``<ID>`` placeholders:
169169

170-
.. code-block:: text
170+
.. code-block:: terminal
171171
172172
$ cd vendor/symfony/symfony
173173
$ git fetch origin pull/<ID>/head:pr<ID>
174174
$ git checkout pr<ID>
175175
176176
For example:
177177

178-
.. code-block:: text
178+
.. code-block:: terminal
179179
180180
$ git fetch origin pull/15723/head:pr15723
181181
$ git checkout pr15723

0 commit comments

Comments
 (0)