-
-
Notifications
You must be signed in to change notification settings - Fork 1.2k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Download the Debian/Ubuntu repository signature with wget, not curl #6633
Download the Debian/Ubuntu repository signature with wget, not curl #6633
Conversation
…, because curl is not preinstalled on Debian/Ubuntu unlike wget
3a5e0da
to
87b0d8e
Compare
Hi @SunBlack, and thanks a lot for your first contribution. 🤗 I'm in the middle of the bridge here. Most of the Jenkins scripts (in the infra, packaging, ...) heavily rely on the So, it wouldn't hurt to use |
Indeed, many are using
I would still be in favor of taking wget here. If you prefer to use curl, you can adjust the line briefly yourself, but since Btw: We could also switch from |
This is Not the way to proceed. Several points: It is trivially easy for the Ubuntu Jenkins package maintainers to add Curl as a dependency on the Jenkins apt package. Ubuntu should make this change, not jenkins The only way through I can think of is a system setting/switch which allows for Curl/Wget to be selected i.e. if switch=0 curl, =1 wget =2?? and for the codebase to be refractored to support that selection. Otherwise please reject this change. You are breaking a lot of working systems. |
Not related to this issue. The question here is what is the best tool for downloading repository keys before Jenkins is installed.
Since this is just a documentation change, it's not really breaking anything. |
How a one-time command breaks any working system? 🤔 And if you search for it, you will only find the information that the wget package is preinstalled on most Linux distributions today. From there I ask myself also here: How is it that it is not present on your system, if you ignore the option of manual uninstallation, which is probably not the case for a typical system?
I wouldn't call it distro-issue if the manual is explicitly for Debian/Ubuntu and the maintainers of it decided to pre-install wget and not curl. What other distros have as default is not relevant for this PR, as it is only about the Debian/Ubuntu instructions. It is true that curl is more powerful, as already written as well. But if someone needs e.g. additional settings, I assume that the person is also able to rewrite/adjust a command for himself. However, we are talking about the default case here: wget is pre-installed on Debian/Ubuntu, curl is not and most systems will not need special settings do download sth. (btw: wget does support proxies, otherwise the option Unfortunately, Asciidocs does not seem to support tabs by default, otherwise the discussion would be superfluous, as we could simply include both variants in the documentation without it becoming bloated. |
@SunBlack will you also propose the same change in the packaging repository so that users see the same instructions when they open https://pkg.jenkins.io/debian/ and https://pkg.jenkins.io/debian-stable/ ? I think this is a reasonable change and am willing to approve and merge it when the pull request is ready for the packaging repository. Eventually we hope to have the packaging pages redirect to the www.jenkins.io installation pages, but we're not ready for that yet. |
When I set up a new Ubuntu container and install Jenkins, the installation instructions so far don't work directly because you still have to install
curl
(in addition to Java), which is unnecessary sincewget
is already pre-installed. So the command is now similar to the Fedora script.