From fccf335e9dd9e2229fd876dcf4f81fb41e132b1d Mon Sep 17 00:00:00 2001
From: "Carlo R. M. A. Santagiustina" <carlo.santagiustina@unive.it>
Date: Tue, 7 Apr 2020 19:41:22 +0200
Subject: [PATCH] Update Dockerfile

---
 Dockerfile | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/Dockerfile b/Dockerfile
index ced9cf2..bf08e3a 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -11,10 +11,6 @@ ENV DEBIAN_FRONTEND noninteractive
 
 RUN apt-get update && apt-get install -y gnupg gnupg1 gnupg2
 
-#repostiries 
-RUN wget -qO - https://packagecloud.io/AtomEditor/atom/gpgkey | apt-key add -
-RUN sh -c 'echo "deb [arch=amd64] https://packagecloud.io/AtomEditor/atom/any/ any main" > /etc/apt/sources.list.d/atom.list'
-
 # Install additional software
  RUN apt-get update --fix-missing
 
@@ -30,8 +26,6 @@ RUN \
         apt-transport-https \
         software-properties-common \
         sbcl \
-        idle3 \
-        atom \
         libtool \
         libffi-dev \
         make \