diff options
Diffstat (limited to 'git')
| -rwxr-xr-x | git/set-global_user.sh | 2 | ||||
| -rwxr-xr-x | git/tools/git-ssh-wrapper.sh | 2 | ||||
| -rw-r--r-- | git/tools/usefulbutnotthatusefulidkwhattodo | 0 |
3 files changed, 0 insertions, 4 deletions
diff --git a/git/set-global_user.sh b/git/set-global_user.sh deleted file mode 100755 index 30e11eb..0000000 --- a/git/set-global_user.sh +++ /dev/null | |||
| @@ -1,2 +0,0 @@ | |||
| 1 | git config --global user.email "hc@email.ch" | ||
| 2 | git config --global user.name "hc" | ||
diff --git a/git/tools/git-ssh-wrapper.sh b/git/tools/git-ssh-wrapper.sh deleted file mode 100755 index dc23334..0000000 --- a/git/tools/git-ssh-wrapper.sh +++ /dev/null | |||
| @@ -1,2 +0,0 @@ | |||
| 1 | #!/bin/bash | ||
| 2 | ssh -v -A -o ForwardAgent=yes "$@" | ||
diff --git a/git/tools/usefulbutnotthatusefulidkwhattodo b/git/tools/usefulbutnotthatusefulidkwhattodo deleted file mode 100644 index e69de29..0000000 --- a/git/tools/usefulbutnotthatusefulidkwhattodo +++ /dev/null | |||
