-
Notifications
You must be signed in to change notification settings - Fork 6.8k
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Would it make sense to chain them with ||?
68a8473
to
a05a9d0
Compare
# specific language governing permissions and limitations | ||
# under the License. | ||
|
||
gpg --keyserver keyserver.ubuntu.com --recv 2EE0EA64E40A89B84B2DF73499E82A75642AC823 |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This command will fail occasionally. I don't think this addresses the problem (unless I'm missing something).
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This is executed only manually when needed, they keys are now committed to the repo. See the other files. It will not fail anymore unless the keys change. The keys are now in the filesystem
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Totally missed that this was checked in! Sorry about that. Seems fine in that case.
#gpg --keyserver keyserver.ubuntu.com --recv-key $key || \ | ||
# gpg --keyserver keyserver.pgp.com --recv-keys $key || \ | ||
# gpg --keyserver ha.pool.sks-keyservers.net --recv-keys $key ; | ||
#gpg -a --export $key | apt-key add - |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I would just remove this and add a comment describing what r.gpg is and how to get it.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I see your point, I think it's fine to leave that for documentation purposes. We can add a comment, but I think is overkill and expensive to go through another round of PR validation just for that. I can add it on a later change.
@@ -29,7 +30,10 @@ apt-get install -y openjdk-8-jdk | |||
apt-get install -y openjdk-8-jre | |||
|
|||
echo "deb https://dl.bintray.com/sbt/debian /" | tee -a /etc/apt/sources.list.d/sbt.list | |||
apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv 2EE0EA64E40A89B84B2DF73499E82A75642AC823 | |||
# ubuntu keyserver is very flaky | |||
#apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv 2EE0EA64E40A89B84B2DF73499E82A75642AC823 |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Same as above.
Thanks for addressing this Pedro. This will improve reliability quite a bit. |
@marcoabreu please merge |
Thank you Marco. We missed you. |
Description
See title. Fixes #11601
Checklist
Essentials
Please feel free to remove inapplicable items for your PR.