From ac54f5224d4470de9d8ae088e1338dea52668c9d Mon Sep 17 00:00:00 2001 From: Ludovic Pouzenc Date: Thu, 5 Jul 2018 00:25:51 +0200 Subject: Renommage beta_accents -> final pour diffs --- beta_accents/sed.sh | 14 -------------- 1 file changed, 14 deletions(-) delete mode 100644 beta_accents/sed.sh (limited to 'beta_accents/sed.sh') diff --git a/beta_accents/sed.sh b/beta_accents/sed.sh deleted file mode 100644 index ae75b59..0000000 --- a/beta_accents/sed.sh +++ /dev/null @@ -1,14 +0,0 @@ -#!/bin/bash -echo $1 -cp $1 $1_bkp - -sed -f sed.rl $1_bkp > $1 - -for ((i=0;i<10;i++)) -do - sed -f sed.rl $1 > $1_old - sed -f sed.rl $1_old > $1 -done -rm $1_old -rm $1_bkp - -- cgit v1.2.3