Advertisement
Guest User

Untitled

a guest
Sep 20th, 2014
206
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
Bash 0.44 KB | None | 0 0
  1. git-clone() {
  2.     mkdir_regex='^mkdir("\(.*\)", [0-9]\+) \+= [0-9]\+$'
  3.     work_regex= # redacted
  4.     tmpfile=`mktemp tmp-clone-strace-XXXXXX`
  5.  
  6.     strace -e mkdir -s 1024 -o $tmpfile git clone "$@"
  7.     dir=`sed 's/'$mkdir_regex'/\1/;2,$d' $tmpfile`
  8.     r $tmpfile
  9.     (cd $dir &&
  10.         if git config remote.origin.url | grep -i $work_regex s
  11.         then git-user-email # redacted
  12.         else git-user-email # redacted
  13.         fi
  14.     )
  15. }
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement