From c9ce9aea2c0a9ce1c37a46b7864f216447b4c15d Mon Sep 17 00:00:00 2001
From: rschoene <rene.schoene@tu-dresden.de>
Date: Thu, 21 Jul 2022 18:05:26 +0200
Subject: [PATCH] install cloc, fix cloc-script when run in docker

---
 Dockerfile       | 2 +-
 cloc/run-cloc.sh | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/Dockerfile b/Dockerfile
index dfb01a6..ba781cc 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -1,7 +1,7 @@
 FROM openjdk:11
 
 ENV DEBIAN_FRONTEND noninteractive
-RUN apt-get update && apt-get install -y graphviz && rm -rf /var/lib/apt/lists/*
+RUN apt-get update && apt-get install -y graphviz cloc && rm -rf /var/lib/apt/lists/*
 
 ENV HOME /home/user
 RUN useradd --create-home --home-dir $HOME user \
diff --git a/cloc/run-cloc.sh b/cloc/run-cloc.sh
index 8cacc23..51154f5 100755
--- a/cloc/run-cloc.sh
+++ b/cloc/run-cloc.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/bash
+#!/bin/bash
 shopt -s globstar
 
 if [ ]
@@ -7,7 +7,7 @@ then
 else
 
 # remove previous results
-rm *-result.txt
+rm -f *-result.txt
 
 #  --force-lang=Java,jrag --force-lang=Java,jadd
 DEF_FILE=my_definitions.txt
-- 
GitLab