Skip to content

Commit 230c474

Browse files
committed
Fixes hint in docker guide
1 parent 3c907ea commit 230c474

File tree

1 file changed

+15
-17
lines changed

1 file changed

+15
-17
lines changed

docs/prework/setup/docker.md

Lines changed: 15 additions & 17 deletions
Original file line numberDiff line numberDiff line change
@@ -40,16 +40,14 @@ Now that you have Docker Desktop up and running let's download and install Visua
4040
Follow the next steps to install VS Code and a handy extension that you will use in this course.
4141

4242
1. Open your browser and navigate to <https://code.visualstudio.com/> to open the Visual Studio Code website. As the image below shows, there is a button where you
43-
can download this software. Depending on your operating system, the button's name will change. Be sure to download the latest version.
44-
45-
{% hint style="info" %}
46-
To download VS Code for any operating system, please visit the [Download Visual Studio Code page](https://code.visualstudio.com/Download) and choose the operating system of your preference.
47-
{% endhint %}
48-
49-
The button to download VS Code for Windows is highlighted for this demo.
43+
can download this software. Depending on your operating system, the button's name will change. Be sure to download the latest version. The button to download VS Code for Windows is highlighted for this demo.
5044

5145
![Visual Studio homepage where the button to download this software for Windows is highlighted.](images/docker-guide-03.png)
5246

47+
{% hint style="info" %}
48+
To download VS Code for any operating system, please visit the [Download Visual Studio Code page](https://code.visualstudio.com/Download) and choose the operating system of your preference.
49+
{% endhint %}
50+
5351
2. After downloading the VS Code installer, execute it and follow the instructions by choosing the default options. Installation options may vary depending on your chip and operating system. If you need detailed instructions, please visit the [Setting up Visual Studio Code section](https://code.visualstudio.com/docs/setup/setup-overview) in the VS Code docs website.
5452

5553
3. Once you have installed VS Code, open it to install an extension. Extensions are additional add-ons that extend the VS Code's functionality; Microsoft provides some extensions, but also, plenty of extensions are created by other companies and developers. To install an extension, click on the "Manage" icon in the bottom left corner and choose the "Extensions" options in the image below shows.
@@ -88,9 +86,9 @@ Follow the next steps to fork the PPP repository.
8886

8987
You are free to navigate through the branches of previous cohorts, but please, be aware of using the correct branch for the 4th. Cohort.
9088

91-
{% hint style="info" %}
92-
A **branch** is an isolated version of the main repository. Usually, branches are used to work on particular projects within a git repository. You can learn more about managing branches in GitHub in the [About branches page](https://docs.github.com/en/pull-requests/collaborating-with-pull-requests/proposing-changes-to-your-work-with-pull-requests/about-branches) at GitHub Docs.
93-
{% endhint %}
89+
{% hint style="info" %}
90+
A **branch** is an isolated version of the main repository. Usually, branches are used to work on particular projects within a git repository. You can learn more about managing branches in GitHub in the [About branches page](https://docs.github.com/en/pull-requests/collaborating-with-pull-requests/proposing-changes-to-your-work-with-pull-requests/about-branches) at GitHub Docs.
91+
{% endhint %}
9492

9593
3. To fork the repository, click the "Fork" icon in the upper right corner, as seen in the image below.
9694

@@ -170,10 +168,6 @@ Please follow the next steps to open and configure your PPP Docker container.
170168

171169
6. From the new terminal window, type and execute the command `cd code` to enter into the _code_ directory of the repository. **This step is critical** as all the code and updates should run into the _code_ directory. Next, after switching to the _code_ directory, type and execute the command `cabal update` to update all the dependencies required by Plutus.
172170

173-
{% hint style="warning" %}
174-
**Be patient while running these commands.** Depending on your hardware configuration and an internet connection, the time required to execute the command `cabal update` may vary. It takes at least 5 minutes to finish; however, we experienced waiting times of up to 15 minutes in some hardware and internet settings.
175-
{% endhint %}
176-
177171
The following image shows a sample execution of these commands.
178172

179173
![VS Code terminal window shows how to switch to the code directory to update cabal.](images/docker-guide-20.png)
@@ -182,13 +176,17 @@ Please follow the next steps to open and configure your PPP Docker container.
182176

183177
![VS Code terminal window shows the terminal prompt after updating cabal.](images/docker-guide-21.png)
184178

179+
{% hint style="warning" %}
180+
**Be patient while running these commands.** Depending on your hardware configuration and an internet connection, the time required to execute the command `cabal update` may vary. It takes at least 5 minutes to finish; however, we experienced waiting times of up to 15 minutes in some hardware and internet settings.
181+
{% endhint %}
182+
185183
7. Now, to finish the dev container setup, type and execute the command `cabal build all` in the VS Code terminal, as the image below shows.
186184

187185
![VS Code terminal window shows the `cabal build all` command.](images/docker-guide-22.png)
188186

189-
{% hint style="warning" %}
190-
**Be patient while running this command.** The time required to execute this command may vary depending on your hardware configuration and internet connection. It can take at least 10 minutes to finish. However, we experienced waiting times of up to 25 in some hardware and internet settings.
191-
{% endhint %}
187+
{% hint style="warning" %}
188+
**Be patient while running this command.** The time required to execute this command may vary depending on your hardware configuration and internet connection. It can take at least 10 minutes to finish. However, we experienced waiting times of up to 25 in some hardware and internet settings.
189+
{% endhint %}
192190

193191
## Troubleshooting Guide
194192

0 commit comments

Comments
 (0)