From 0ec423800d775beb933917d51527641e340cd6a3 Mon Sep 17 00:00:00 2001
From: aanper <mail@s3f.ru>
Date: Mon, 19 Oct 2020 12:20:31 +0300
Subject: [PATCH] suggest install gdb in docker

---
 docker/Dockerfile | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/docker/Dockerfile b/docker/Dockerfile
index e6cb146e..780f9fef 100644
--- a/docker/Dockerfile
+++ b/docker/Dockerfile
@@ -43,3 +43,9 @@ COPY entrypoint.sh syntax_check.sh /
 RUN chmod +x /syntax_check.sh
 
 ENTRYPOINT ["/entrypoint.sh"]
+
+# apt install python-dev
+# wget http://mirrors.kernel.org/ubuntu/pool/main/r/readline6/libreadline6_6.3-8ubuntu2_amd64.deb
+# dpkg -i libreadline6_6.3-8ubuntu2_amd64.deb
+# wget http://mirrors.kernel.org/ubuntu/pool/universe/g/gdb-arm-none-eabi/gdb-arm-none-eabi_7.10-1ubuntu3+9_amd64.deb
+# dpkg -i gdb-arm-none-eabi_7.10-1ubuntu3+9_amd64.deb
\ No newline at end of file