From 1868f965946c578df3ecdc1c56d51cd2a345da47 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jon=C3=A1=C5=A1=20Havelka?= Date: Mon, 31 Jul 2023 16:21:58 +0200 Subject: [PATCH] =?UTF-8?q?M=C4=9Bnit=20mezery=20na=20tabul=C3=A1tory=20u?= =?UTF-8?q?=C5=BE=20bychom=20tak=C3=A9=20nem=C4=9Bli=20pot=C5=99ebovat?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- convert_spaces_to_tabs.sh | 17 ----------------- 1 file changed, 17 deletions(-) delete mode 100755 convert_spaces_to_tabs.sh diff --git a/convert_spaces_to_tabs.sh b/convert_spaces_to_tabs.sh deleted file mode 100755 index 8f98f6ae..00000000 --- a/convert_spaces_to_tabs.sh +++ /dev/null @@ -1,17 +0,0 @@ -#!/bin/sh - -if test "$#" -lt 1 -then - echo "Usage: $0 file ..." - exit 2 -fi - -for file in "$@" -do - # Do the sed magic: keep replacing 4 spaces at the begining of line - sed -i -re ' - : loop - s/^( *) /\1 / - t loop - ' "$file" -done