<p>That would be the Cabal REPL. The command is <code>cabal repl</code>.</p>
<p>You need to be sure you are in the correct context for this to work. If you haven't done that, I'd recommend following the Nix setup instructions in the <a href="https://github.com/input-output-hk/plutus" rel="nofollow noreferrer">Plutus repo</a>. Once you have <code>nix-shell</code> running you can switch to the Pioneer Program repo and run <code>cabal repl</code>.</p>
<p><a href="https://giters.com/adacapo21/plutusPioneerProgram" rel="nofollow noreferrer">Here</a> are some additional community-made instructions that can help fill in the gaps, but I don't think it covers some important stuff like the <em>cache</em>, so I'd start with the official docs.</p>

CC BY-SA 4.0
2021-10-18T22:10:16.837Z
Thank you so much! :) Finally worked after I followed the Github steps about the IOHK binary caches
Shannon Brown
CC BY-SA 4.0
2021-10-18T20:22:45.397Z
2021-10-18T20:22:45.397Z
Mitchell Turner
<p>Basically you should follow instructions for <a href="https://github.com/input-output-hk/plutus-pioneer-program#exercises" rel="nofollow noreferrer">Excercise Week 01</a> in order to: setup the plutus repo, nix, cache, etc, as Mitchell said.</p>
<blockquote>
<ul>
<li>Clone the The Plutus repository, check out the correct commit as specified in cabal.project.</li>
<li>Install NixOS cross-referencing the following resources.</li>
<li>Set-up IOHK binary caches How to set up the IOHK binary caches. &quot;If you do not do this, you will end up building GHC, which takes several hours. If you find yourself building GHC, STOP and fix the cache.&quot;</li>
</ul>
</blockquote>
<p>Then:</p>
<ul>
<li><code>cd /your-repo/plutus</code></li>
<li><code>nix-shell</code></li>
<li><code>cd /your-repo/plutus-pioneer-program/code/week01</code></li>
<li><code>cabal repl</code></li>
</ul>

CC BY-SA 4.0
2021-10-18T22:04:30.067Z
2021-10-18T22:04:30.067Z
georgeos
<p>I was wondering how to get the EnglishAuction shell open so I can run these commands from the first lecture?</p>
<p><a href="https://i.sstatic.net/Kt3Ui.png" rel="nofollow noreferrer"><img src="https://i.sstatic.net/Kt3Ui.png" alt="enter image description here" /></a></p>

<plutus-pioneer-program>
Plutus Pioneers Week 01 - How to open EnglishAuction shell?
# Plutus Pioneers Week 01 - How to open EnglishAuction shell?

(Asked by: username_0 on 2021-10-18)

I was wondering how to get the EnglishAuction shell open so I can run these commands from the first lecture?

[![enter image description here](https://i.sstatic.net/Kt3Ui.png)](https://i.sstatic.net/Kt3Ui.png)

**Tags:** plutus-pioneer-program

---

## 2 answers

### Answer by username_2 on 2021-10-18. Score: 4

Basically you should follow instructions for [Excercise Week 01](https://github.com/input-output-hk/plutus-pioneer-program#exercises) in order to: setup the plutus repo, nix, cache, etc, as Mitchell said.

> * Clone the The Plutus repository, check out the correct commit as specified in cabal.project.
> * Install NixOS cross-referencing the following resources.
> * Set-up IOHK binary caches How to set up the IOHK binary caches. "If you do not do this, you will end up building GHC, which takes several hours. If you find yourself building GHC, STOP and fix the cache."

Then:

* `cd /your-repo/plutus`
* `nix-shell`
* `cd /your-repo/plutus-pioneer-program/code/week01`
* `cabal repl`


---

### Answer by username_1 on 2021-10-18. Score: 1

That would be the Cabal REPL. The command is `cabal repl`.

You need to be sure you are in the correct context for this to work. If you haven't done that, I'd recommend following the Nix setup instructions in the [Plutus repo](https://github.com/input-output-hk/plutus). Once you have `nix-shell` running you can switch to the Pioneer Program repo and run `cabal repl`.

[Here](https://giters.com/adacapo21/plutusPioneerProgram) are some additional community-made instructions that can help fill in the gaps, but I don't think it covers some important stuff like the *cache*, so I'd start with the official docs.

> **Comments:**
> **username_0**: Thank you so much! :) Finally worked after I followed the Github steps about the IOHK binary caches  

---

