From 405fac218ff084f34cfd373e468d3b8862dd595b Mon Sep 17 00:00:00 2001 From: Dhghomon Date: Fri, 12 Jan 2024 19:53:48 +0900 Subject: [PATCH] rv edgeql-repl in places --- docs/guides/migrations/guide.rst | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/guides/migrations/guide.rst b/docs/guides/migrations/guide.rst index b59e915a984..19dbe962006 100644 --- a/docs/guides/migrations/guide.rst +++ b/docs/guides/migrations/guide.rst @@ -112,7 +112,7 @@ To see what a schema migration file looks like, type ``edgedb migration create`` and then hit ``y`` to say yes to the question you see below: -.. code-block:: edgeql-repl +.. code-block:: console db> did you create object type 'default::User'? [y,n,l,c,b,s,q,?] > y @@ -734,7 +734,7 @@ differs from what you have and offers to make a fixup file: You will then see the the same questions that otherwise show up in a standard migration: -.. code-block:: edgeql-repl +.. code-block:: console db> did you create property 'nickname' of object type 'default::User'? [y,n,l,c,b,s,q,?]