From 12cccefc89739fa6469b47c5847891da3488cf00 Mon Sep 17 00:00:00 2001 From: ulaulaman Date: Fri, 11 Dec 2020 00:08:42 +0100 Subject: [PATCH] Aggiunto bash file per pulizia --- curriculum/delete.bash | 6 ++++++ 1 file changed, 6 insertions(+) create mode 100755 curriculum/delete.bash diff --git a/curriculum/delete.bash b/curriculum/delete.bash new file mode 100755 index 0000000..b0d5d32 --- /dev/null +++ b/curriculum/delete.bash @@ -0,0 +1,6 @@ +#!/bin/bash +rm *.aux -i 's/\r$//' +rm *.out -i 's/\r$//' +rm *.toc -i 's/\r$//' +rm *.log -i 's/\r$//' +rm *.tmp -i 's/\r$//'