diff options
| author | Egor Tensin <Egor.Tensin@gmail.com> | 2017-09-22 15:46:26 +0300 |
|---|---|---|
| committer | Egor Tensin <Egor.Tensin@gmail.com> | 2017-09-22 15:46:26 +0300 |
| commit | fb2b6e57cc24a8182ef8ea3c25bcb664e9286acd (patch) | |
| tree | 987b0ec37f7aa69acb052d0bd637077e6dfeb790 | |
| parent | fix_permissions.sh: o-w (diff) | |
| download | linux-home-fb2b6e57cc24a8182ef8ea3c25bcb664e9286acd.tar.gz linux-home-fb2b6e57cc24a8182ef8ea3c25bcb664e9286acd.zip | |
remove configure_git.sh
What was it for, anyway?
| -rwxr-xr-x | configure_git.sh | 7 |
1 files changed, 0 insertions, 7 deletions
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" ~ |