From 8e379e95ac85dd3959367294ba1fcec8afa6e35d Mon Sep 17 00:00:00 2001
From: Kris <kristopherfrancesco.pellizzi@mail.polimi.it>
Date: Sun, 28 Nov 2021 15:13:28 +0100
Subject: [PATCH] Added tmux as default installed tool in Dockerfile

---
 Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Dockerfile b/Dockerfile
index 929610e..3e1b447 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -1,6 +1,6 @@
 FROM ubuntu:focal
 ARG TZ=Europe/Rome
-ARG DEPS="ninja-build libglib2.0-dev make gcc g++ pkg-config python3 python3-pip git wget gettext locales gdb vim"
+ARG DEPS="ninja-build libglib2.0-dev make gcc g++ pkg-config python3 python3-pip git wget gettext locales gdb vim tmux"
 RUN ln -snf /usr/share/zoneinfo/$TZ /etc/localtime && echo $TZ > /etc/timezone
 WORKDIR /opt/MemTraceThesis
 COPY . .