Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- git-clone() {
- mkdir_regex='^mkdir("\(.*\)", [0-9]\+) \+= [0-9]\+$'
- work_regex= # redacted
- tmpfile=`mktemp tmp-clone-strace-XXXXXX`
- strace -e mkdir -s 1024 -o $tmpfile git clone "$@"
- dir=`sed 's/'$mkdir_regex'/\1/;2,$d' $tmpfile`
- r $tmpfile
- (cd $dir &&
- if git config remote.origin.url | grep -i $work_regex s
- then git-user-email # redacted
- else git-user-email # redacted
- fi
- )
- }
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement