annotate contrib/gcc-git-customization.sh @ 145:1830386684a0

gcc-9.2.0
author anatofuz
date Thu, 13 Feb 2020 11:34:05 +0900
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
145
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
1 #!/bin/sh
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
2
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
3 # Script to add some local git customizations suitable for working
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
4 # with the GCC git repository
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
5
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
6 ask () {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
7 question=$1
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
8 default=$2
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
9 var=$3
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
10 echo -n $question "["$default"]? "
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
11 read answer
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
12 if [ "x$answer" = "x" ]
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
13 then
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
14 eval $var=\$default
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
15 else
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
16 eval $var=\$answer
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
17 fi
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
18 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
19
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
20 # Add a git command to find the git commit equivalent to legacy SVN revision NNN
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
21 git config alias.svn-rev '!f() { rev=$1; shift; git log --all --grep="From-SVN: r\\?$rev\\b" "${@}"; } ; f'
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
22
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
23 # Add git commands to convert git commit to monotonically increasing revision number
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
24 # and vice versa
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
25 git config alias.gcc-descr \!"f() { if test \${1:-no} = --full; then c=\${2:-master}; r=\$(git describe --all --abbrev=40 --match 'basepoints/gcc-[0-9]*' \$c | sed -n 's,^\\(tags/\\)\\?basepoints/gcc-,r,p'); expr match \${r:-no} '^r[0-9]\\+\$' >/dev/null && r=\${r}-0-g\$(git rev-parse \${2:-master}); else c=\${1:-master}; r=\$(git describe --all --match 'basepoints/gcc-[0-9]*' \$c | sed -n 's,^\\(tags/\\)\\?basepoints/gcc-\\([0-9]\\+\\)-\\([0-9]\\+\\)-g[0-9a-f]*\$,r\\2-\\3,p;s,^\\(tags/\\)\\?basepoints/gcc-\\([0-9]\\+\\)\$,r\\2-0,p'); fi; if test -n \$r; then o=\$(git config --get gcc-config.upstream); rr=\$(echo \$r | sed -n 's,^r\\([0-9]\\+\\)-[0-9]\\+\\(-g[0-9a-f]\\+\\)\\?\$,\\1,p'); if git rev-parse --verify --quiet \${o:-origin}/releases/gcc-\$rr >/dev/null; then m=releases/gcc-\$rr; else m=master; fi; git merge-base --is-ancestor \$c \${o:-origin}/\$m && \echo \${r}; fi; }; f"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
26 git config alias.gcc-undescr \!"f() { o=\$(git config --get gcc-config.upstream); r=\$(echo \$1 | sed -n 's,^r\\([0-9]\\+\\)-[0-9]\\+\$,\\1,p'); n=\$(echo \$1 | sed -n 's,^r[0-9]\\+-\\([0-9]\\+\\)\$,\\1,p'); test -z \$r && echo Invalid id \$1 && exit 1; h=\$(git rev-parse --verify --quiet \${o:-origin}/releases/gcc-\$r); test -z \$h && h=\$(git rev-parse --verify --quiet \${o:-origin}/master); p=\$(git describe --all --match 'basepoints/gcc-'\$r \$h | sed -n 's,^\\(tags/\\)\\?basepoints/gcc-[0-9]\\+-\\([0-9]\\+\\)-g[0-9a-f]*\$,\\2,p;s,^\\(tags/\\)\\?basepoints/gcc-[0-9]\\+\$,0,p'); git rev-parse --verify \$h~\$(expr \$p - \$n); }; f"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
27
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
28 # Make diff on MD files use "(define" as a function marker.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
29 # Use this in conjunction with a .gitattributes file containing
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
30 # *.md diff=md
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
31 git config diff.md.xfuncname '^\(define.*$'
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
32
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
33 set_user=$(git config --get "user.name")
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
34 set_email=$(git config --get "user.email")
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
35
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
36 if [ "x$set_user" = "x" ]
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
37 then
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
38 # Try to guess the user's name by looking it up in the password file
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
39 new_user=$(getent passwd $(whoami) | awk -F: '{ print $5 }')
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
40 if [ "x$new_user" = "x" ]
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
41 then
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
42 new_user="(no default)"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
43 fi
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
44 else
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
45 new_user=$set_user
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
46 fi
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
47 ask "Your name" "${new_user}" new_user
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
48 if [ "x$new_user" = "x(no default)" ]
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
49 then
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
50 echo "Cannot continue, git needs to record your name against commits"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
51 exit 1
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
52 fi
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
53
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
54 if [ "x$set_email" = "x" ]
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
55 then
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
56 new_email="(no_default)"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
57 else
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
58 new_email=$set_email
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
59 fi
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
60
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
61 ask "Your email address (for git commits)" "${new_email}" new_email
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
62 if [ "x$new_email" = "x(no default)" ]
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
63 then
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
64 echo "Cannot continue, git needs to record your email address against commits"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
65 exit 1
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
66 fi
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
67
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
68 if [ "x$set_user" != "x$new_user" ]
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
69 then
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
70 git config "user.name" "$new_user"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
71 fi
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
72
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
73 if [ "x$set_email" != "x$new_email" ]
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
74 then
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
75 git config "user.email" "$new_email"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
76 fi
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
77
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
78 upstream=$(git config --get "gcc-config.upstream")
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
79 if [ "x$upstream" = "x" ]
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
80 then
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
81 upstream="origin"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
82 fi
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
83 ask "Local name for upstream repository" "origin" upstream
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
84
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
85 v=$(git config --get-all "remote.${upstream}.fetch")
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
86 if [ "x$v" = "x" ]
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
87 then
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
88 echo "Remote $upstream does not seem to exist as a remote"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
89 exit 1
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
90 fi
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
91 git config "gcc-config.upstream" "$upstream"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
92
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
93 remote_id=$(git config --get "gcc-config.user")
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
94 if [ "x$remote_id" = "x" ]
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
95 then
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
96 # See if the url specifies the remote user name.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
97 url=$(git config --get "remote.$upstream.url")
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
98 if [ "x$url" = "x" ]
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
99 then
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
100 # This is a pure guess, but for many people it might be OK.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
101 remote_id=$(whoami)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
102 else
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
103 remote_id=$(echo $url | sed -r "s|^.*ssh://(.+)@gcc.gnu.org.*$|\1|")
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
104 if [ x$remote_id = x$url ]
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
105 then
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
106 remote_id=$(whoami)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
107 fi
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
108 fi
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
109 fi
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
110
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
111 ask "Account name on gcc.gnu.org (for your personal branches area)" $remote_id remote_id
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
112 git config "gcc-config.user" "$remote_id"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
113
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
114 old_pfx=$(git config --get "gcc-config.userpfx")
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
115 if [ "x$old_pfx" = "x" ]
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
116 then
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
117 old_pfx="me"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
118 fi
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
119 echo
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
120 echo "Local branch prefix for personal branches you want to share"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
121 echo "(local branches starting <prefix>/ can be pushed directly to your"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
122 ask "personal area on the gcc server)" $old_pfx new_pfx
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
123 git config "gcc-config.userpfx" "$new_pfx"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
124
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
125 # Scan the existing settings to see if there are any we need to rewrite.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
126 vendors=$(git config --get-all "remote.${upstream}.fetch" "refs/vendors/" | sed -r "s:.*refs/vendors/([^/]+)/.*:\1:" | sort | uniq)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
127 url=$(git config --get "remote.${upstream}.url")
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
128 pushurl=$(git config --get "remote.${upstream}.pushurl")
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
129 for v in $vendors
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
130 do
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
131 echo "Migrating vendor \"$v\" to new remote \"vendors/$v\""
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
132 git config --unset-all "remote.${upstream}.fetch" "refs/vendors/$v/"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
133 git config --unset-all "remote.${upstream}.push" "refs/vendors/$v/"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
134 git config "remote.vendors/${v}.url" "${url}"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
135 if [ "x$pushurl" != "x" ]
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
136 then
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
137 git config "remote.vendors/${v}.pushurl" "${pushurl}"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
138 fi
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
139 git config --add "remote.vendors/${v}.fetch" "+refs/vendors/$v/heads/*:refs/remotes/vendors/${v}/*"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
140 git config --add "remote.vendors/${v}.fetch" "+refs/vendors/$v/tags/*:refs/tags/vendors/${v}/*"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
141 done
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
142
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
143 # Convert the remote 'pfx' to users/pfx to avoid problems with ambiguous refs
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
144 # on user branches
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
145 old_remote=$(git config --get "remote.${old_pfx}.url")
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
146 if [ -n "${old_remote}" ]
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
147 then
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
148 echo "Migrating remote \"${old_pfx}\" to new remote \"users/${new_pfx}\""
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
149 # Create a dummy fetch rule that will cause the subsequent prune to remove the old remote refs.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
150 git config --replace-all "remote.${old_pfx}.fetch" "+refs/empty/*:refs/remotes/${old_pfx}/*"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
151 # Remove any remotes
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
152 git remote prune ${old_pfx}
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
153 git config --remove-section "remote.${old_pfx}"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
154 for br in $(git branch --list "${old_pfx}/*")
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
155 do
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
156 old_remote=$(git config --get "branch.${br}.remote")
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
157 if [ "${old_remote}" = "${old_pfx}" ]
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
158 then
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
159 git config "branch.${br}.remote" "users/${new_pfx}"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
160 fi
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
161 done
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
162 fi
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
163
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
164 echo "Setting up tracking for personal namespace $remote_id in remotes/users/${new_pfx}"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
165 git config "remote.users/${new_pfx}.url" "${url}"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
166 if [ "x$pushurl" != "x" ]
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
167 then
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
168 git config "remote.users/${new_pfx}.pushurl" "${pushurl}"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
169 fi
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
170 git config --replace-all "remote.users/${new_pfx}.fetch" "+refs/users/${remote_id}/heads/*:refs/remotes/users/${new_pfx}/*" "refs/users/${remote_id}/heads/"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
171 git config --replace-all "remote.users/${new_pfx}.fetch" "+refs/users/${remote_id}/tags/*:refs/tags/users/${new_pfx}/*" "refs/users/${remote_id}/tags/"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
172 git config --replace-all "remote.users/${new_pfx}.push" "refs/heads/${new_pfx}/*:refs/users/${remote_id}/heads/*" "refs/users/${remote_id}"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
173
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
174 if [ "$old_pfx" != "$new_pfx" -a "$old_pfx" != "${upstream}" ]
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
175 then
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
176 git config --remove-section "remote.${old_pfx}"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
177 fi
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
178
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
179 git config --unset-all "remote.${upstream}.fetch" "refs/users/${remote_id}/"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
180 git config --unset-all "remote.${upstream}.push" "refs/users/${remote_id}/"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
181
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
182 git fetch "users/${new_pfx}"