From 48a0145736d6e42589098e2d1840b587cabdf702 Mon Sep 17 00:00:00 2001
From: Francis Dinh <normandy@biribiri.dev>
Date: Tue, 30 May 2023 21:21:44 -0400
Subject: [PATCH] add command to restart shell

---
 docs/docs/installation/debian_based_en.md | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/docs/docs/installation/debian_based_en.md b/docs/docs/installation/debian_based_en.md
index cb10bb66e..0a48a605d 100644
--- a/docs/docs/installation/debian_based_en.md
+++ b/docs/docs/installation/debian_based_en.md
@@ -60,6 +60,11 @@ Add the following lines to `~/.bashrc`:
 . "$HOME/.asdf/completions/asdf.bash"
 ```
 
+Restart the shell:
+```shell
+exec $SHELL
+```
+
 Next install Erlang:
 ```shell
 asdf plugin add erlang https://github.com/asdf-vm/asdf-erlang.git