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.
This commit is contained in:
Tomáš Hübelbauer 2016-04-27 10:56:35 +02:00
parent 80bff1eea7
commit e6b9760df2

View File

@ -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
```