[svnpenn]

Those command are part of a Bash script. Bash is a shell alternative to cmd.exe. I do not use cmd.exe because it is terrible.

If you want to use the script I posted, you will need to install/learn Bash.