From 99b6e3508acd16b34eb7e38a0eb6490f11c4f443 Mon Sep 17 00:00:00 2001 From: Andre Meyering Date: Sun, 30 Jul 2017 14:06:22 +0200 Subject: [PATCH] =?UTF-8?q?[Tools]=20Erg=C3=A4nze=20cleanup.sh?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Mit cleanup.sh können die unnötigen Dateien gelöscht werden. --- cleanup.sh | 2 ++ 1 file changed, 2 insertions(+) create mode 100755 cleanup.sh diff --git a/cleanup.sh b/cleanup.sh new file mode 100755 index 0000000..89704f1 --- /dev/null +++ b/cleanup.sh @@ -0,0 +1,2 @@ +#!/bin/bash +rm *.{lol,log,ilg,idx,aux,bcf,ind,lof,lot,out,run.xml,synctex.gz,toc}