diff options
Diffstat (limited to 'Refactory')
-rw-r--r-- | Refactory/Makefile | 2 | ||||
-rwxr-xr-x | Refactory/bin/git-clone-into | 48 | ||||
-rwxr-xr-x | Refactory/bin/git-eternal-move | 15 |
3 files changed, 0 insertions, 65 deletions
diff --git a/Refactory/Makefile b/Refactory/Makefile deleted file mode 100644 index 57b983df..00000000 --- a/Refactory/Makefile +++ /dev/null @@ -1,2 +0,0 @@ -install: - ln -snf $$PWD/bin/git-clone-into ../bin/ diff --git a/Refactory/bin/git-clone-into b/Refactory/bin/git-clone-into deleted file mode 100755 index 67e820e6..00000000 --- a/Refactory/bin/git-clone-into +++ /dev/null @@ -1,48 +0,0 @@ -#! /bin/sh -# -# usage: git-clone-into repository directory -# -set -euf - -tempdir() { - set -- `tempnam $1` - mkdir $1 - echo $1 -} - -## [prefix] -> tempnam -tempnam() { - until set -- $1 ${1-}`candnam` && ! test -e $2; do :; done - echo $2 -} - -candnam() { - uuidgen 2>/dev/null || date +%s%N -} - - - - tmp_remote=`candnam` - tmp_branch=`candnam` - - subdir=$2 - if test -e $subdir; then - echo 'You are made of stupid!' >&2 - exit 23 - fi - tmpdir=`tempdir /tmp/tempdir-` - #trap "test -d $tmpdir && rm -vfR $tmpdir" EXIT - trap "test -d $tmpdir && rm -fR $tmpdir" EXIT - repository="${1-$repository}" - git clone "$repository" $tmpdir - (cd $tmpdir - subdir="$subdir" git filter-branch --tree-filter ' - if ! test -d $subdir; then - mkdir -p $subdir - git ls-tree -z --name-only $GIT_COMMIT | xargs -I. --null mv . $subdir - fi - ' - git checkout -b $tmp_branch) - git remote add $tmp_remote $tmpdir - git fetch $tmp_remote - git merge $tmp_remote/$tmp_branch # TODO configurable branch diff --git a/Refactory/bin/git-eternal-move b/Refactory/bin/git-eternal-move deleted file mode 100755 index 50361e7b..00000000 --- a/Refactory/bin/git-eternal-move +++ /dev/null @@ -1,15 +0,0 @@ -#! /bin/sh -# -# git-eternal-move FROM TO-DIRECTORY -# -set -euf -if test $# -ne 2; then - echo 'Error 1: You are made of stupid!' >&2 - exit 23 -fi -exec git filter-branch --tree-filter " - set -euf - if test -e '$1'; then - mkdir -p '$2' - mv '$1' '$2' - fi" |