# How to kill a persistent REPL?

**URL:** <https://discourse.julialang.org/t/how-to-kill-a-persistent-repl/69813>\
**Category:** VS Code\
**Created:** [October 15, 2021, 9:56am UTC](https://discourse.julialang.org/t/how-to-kill-a-persistent-repl/69813 "2021-10-15T09:56:38Z")\
**Posts on this page:** 9\
**Page:** 1

<div class="post-metadata">

**Author:** ![lrnv](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/lrnv/32/19373_2.png) [@lrnv](https://discourse.julialang.org/u/lrnv)\
**Post date:** [October 15, 2021, 9:56am UTC](https://discourse.julialang.org/t/how-to-kill-a-persistent-repl/69813/1 "2021-10-15T09:56:38Z")

</div>

Hi,

I’m using the `"julia.persistentSession.enabled": true` option of the vs code extension. Its working great. The only thing is that the `Julia: Stop REPL` only closes the terminal but does not kill the julia instance. Furthermore, issuing `exit()` does not work properly : it gives a dead pane in tmux, and after that relaunching `Julia: Start REPL` is not doing anything.

The only solution I have is manually killing hte tmux session `julia_vscode` wich is kind of barbaric, no ?

---

<div class="post-metadata">

**Author:** ![pfitzseb](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/pfitzseb/32/45566_2.png) [@pfitzseb](https://discourse.julialang.org/u/pfitzseb)\
**Post date:** [October 15, 2021, 9:57am UTC](https://discourse.julialang.org/t/how-to-kill-a-persistent-repl/69813/2 "2021-10-15T09:57:53Z")

</div>

That’s mostly intended behaviour. I think we planned to have the “Stop Julia” command also close the tmux session, but that could cause the user to use other processes they started manually.

---

<div class="post-metadata">

**Author:** ![lrnv](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/lrnv/32/19373_2.png) [@lrnv](https://discourse.julialang.org/u/lrnv)\
**Post date:** [October 15, 2021, 9:58am UTC](https://discourse.julialang.org/t/how-to-kill-a-persistent-repl/69813/3 "2021-10-15T09:58:42Z")

</div>

Oh I see, the intended workflow is that I’ll use that tmux session to also do other things than hosting the Julia REPL ?

---

<div class="post-metadata">

**Author:** ![pfitzseb](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/pfitzseb/32/45566_2.png) [@pfitzseb](https://discourse.julialang.org/u/pfitzseb)\
**Post date:** [October 15, 2021, 9:59am UTC](https://discourse.julialang.org/t/how-to-kill-a-persistent-repl/69813/4 "2021-10-15T09:59:16Z")

</div>

Not really. We just can’t stop you from doing that.

---

<div class="post-metadata">

**Author:** ![lrnv](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/lrnv/32/19373_2.png) [@lrnv](https://discourse.julialang.org/u/lrnv)\
**Post date:** [October 15, 2021, 10:01am UTC](https://discourse.julialang.org/t/how-to-kill-a-persistent-repl/69813/5 "2021-10-15T10:01:03Z")

</div>

Maybe export an other command like `Stop persistant REPL` that would kill it properly (doing exactly the reverse of `Start REPL` : my intention is that `Start > Stop > Start` should work.)

---

<div class="post-metadata">

**Author:** ![pfitzseb](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/pfitzseb/32/45566_2.png) [@pfitzseb](https://discourse.julialang.org/u/pfitzseb)\
**Post date:** [October 15, 2021, 10:02am UTC](https://discourse.julialang.org/t/how-to-kill-a-persistent-repl/69813/6 "2021-10-15T10:02:04Z")

</div>

Theoretically it should be fine to use “Stop” for this, because we also have “Disconnect”. Could even ask for confirmation…

---

<div class="post-metadata">

**Author:** ![lrnv](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/lrnv/32/19373_2.png) [@lrnv](https://discourse.julialang.org/u/lrnv)\
**Post date:** [October 15, 2021, 10:02am UTC](https://discourse.julialang.org/t/how-to-kill-a-persistent-repl/69813/7 "2021-10-15T10:02:37Z")

</div>

Yep that would be a better interface for the functionality.

---

<div class="post-metadata">

**Author:** ![pfitzseb](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/pfitzseb/32/45566_2.png) [@pfitzseb](https://discourse.julialang.org/u/pfitzseb)\
**Post date:** [December 14, 2021, 11:38am UTC](https://discourse.julialang.org/t/how-to-kill-a-persistent-repl/69813/8 "2021-12-14T11:38:26Z")

</div>

> [@pfitzseb](#):
>
> Theoretically it should be fine to use “Stop” for this, because we also have “Disconnect”. Could even ask for confirmation…

This has been implemented in version 1.5 of the extension.

---

<div class="post-metadata">

**Author:** ![lrnv](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/lrnv/32/19373_2.png) [@lrnv](https://discourse.julialang.org/u/lrnv)\
**Post date:** [December 14, 2021, 10:54pm UTC](https://discourse.julialang.org/t/how-to-kill-a-persistent-repl/69813/9 "2021-12-14T22:54:52Z")

</div>

Yes, it asks me what I want to do Everytime since maybe a month or two, and it is perfect.