Sign in
googlers
/
jrn
/
git
/
f7cc77d78b9ee59dce162a50815ac6c1918a4397
/
.
/
git-rename-script
blob: 3952382dbce6b27311680cf255dc0ffb6828c011 [
file
] [
log
] [
blame
]
#!/bin/sh
.
git
-
sh
-
setup
-
script
||
die
"Not a git archive"
[
-
f
"$1"
]
||
[
-
h
"$1"
]
||
die
"git rename: bad source"
[
-
e
"$2"
]
&&
die
"git rename: destination already exists"
mv
--
"$1"
"$2"
&&
git
-
update
-
cache
--
add
--
remove
--
"$1"
"$2"