From 29beca9349c855c6887a0df00e7880605014f0da Mon Sep 17 00:00:00 2001 From: Julien <120013023+albatrousse@users.noreply.github.com> Date: Wed, 5 Jul 2023 13:17:35 +0200 Subject: [PATCH] docs: explanation on how to download wget on Windows --- docs/dev/how-to-quick-start-guide.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/dev/how-to-quick-start-guide.md b/docs/dev/how-to-quick-start-guide.md index 241254e4efe81..33184acf91824 100644 --- a/docs/dev/how-to-quick-start-guide.md +++ b/docs/dev/how-to-quick-start-guide.md @@ -25,12 +25,12 @@ Docker provides an isolated environment, very close to a Virtual Machine. This e ### Windows Prerequisites -When running with Windows, install [Docker Desktop](https://www.docker.com/products/docker-desktop/) which will cover all of the above. +When running with Windows, install [Docker Desktop](https://www.docker.com/products/docker-desktop/) **which will cover all of the above**. The Make tasks use a number of Linux commands, such as rm and nproc, so it is recommeded to run Make commands from the Git Bash shell. In addition, the following need to be installed and included in the PATH: - [Make for Windows](http://gnuwin32.sourceforge.net/packages/make.htm) -- [wget for windows](https://eternallybored.org/misc/wget/) (In order to download the full product database). +- [wget for windows](https://eternallybored.org/misc/wget/) (In order to download the full product database). If you want to download wget with the executable, copy the wget.exe file to C:/Windows/System32 and you are done. The process of cloning the repository will create a number of symbolic links which require specific permissions under Windows. In order to do this you can use any one of these alternatives: