From e6b9760df21f580e8210f97c01a957a91eeb91b5 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Tom=C3=A1=C5=A1=20H=C3=BCbelbauer?= Date: Wed, 27 Apr 2016 10:56:35 +0200 Subject: [PATCH] Fix use of the `move` command in the Windows shell `move` work both in `cmd` and in Powershell. `mv` works only in Powershell and the book says nothing about which shell is recommended so this could confuse beginners. Closes #33219. --- src/doc/book/getting-started.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/doc/book/getting-started.md b/src/doc/book/getting-started.md index 3a20663cda6..fc2a7620883 100644 --- a/src/doc/book/getting-started.md +++ b/src/doc/book/getting-started.md @@ -412,7 +412,7 @@ enter the following commands: ```bash $ mkdir src -$ mv main.rs src/main.rs +$ mv main.rs src/main.rs # or 'move main.rs src/main.rs' on Windows $ rm main # or 'del main.exe' on Windows ```