From b262d64c9e36140c238dfc7415d5ad99cdc4134b Mon Sep 17 00:00:00 2001
From: fmkiotheka <fmkiotheka@inf.ufpr.br>
Date: Fri, 12 May 2023 00:25:05 -0300
Subject: [PATCH] fix(doc): add missing $

---
 source/pages/proxy.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/source/pages/proxy.rst b/source/pages/proxy.rst
index a0cb52a..2c696fc 100644
--- a/source/pages/proxy.rst
+++ b/source/pages/proxy.rst
@@ -74,6 +74,6 @@ Muitas vezes queremos algo mais simples do que o protocolo SOCKS pois o endereç
 
 Assim, se estamos rodando um servidor web numa porta 8080 em outra máquina, podemos executar por exemplo::
 
-    ssh -L 8000:localhost:8080 usr99@litorina -J usr99@ssh.inf.ufpr.br
+    $ ssh -L 8000:localhost:8080 usr99@litorina -J usr99@ssh.inf.ufpr.br
 
 Isso significa que podemos acessar o servidor web que está rodando na porta 8080 na ``litorina`` locamente na porta 8000, isto é, podemos acessar o endereço ``localhost:8000`` no navegador e poderemos ver nosso servidor web funcionando.
-- 
GitLab