From fb2b6e57cc24a8182ef8ea3c25bcb664e9286acd Mon Sep 17 00:00:00 2001 From: Egor Tensin Date: Fri, 22 Sep 2017 15:46:26 +0300 Subject: remove configure_git.sh What was it for, anyway? --- configure_git.sh | 7 ------- 1 file changed, 7 deletions(-) delete mode 100755 configure_git.sh diff --git a/configure_git.sh b/configure_git.sh deleted file mode 100755 index 36beda2..0000000 --- a/configure_git.sh +++ /dev/null @@ -1,7 +0,0 @@ -#!/usr/bin/env bash - -set -o errexit -o nounset -o pipefail - -script_dir="$( dirname -- "${BASH_SOURCE[0]}" )" -script_dir="$( cd -- "$script_dir" && pwd )" -cp --remove-destination -- "$script_dir/%HOME%/.gitconfig" ~ -- cgit v1.2.3