Hi, Fwiw, slave in Jenkins 1.x and "permanent agent" in Jenkins 2.x is indeed the same thing. This vocabulary change is the result of https://issues.jenkins-ci.org/browse/JENKINS-27268 to remove the term 'slave' from Jenkins.
As for your question, I guess there's no general answer. IMO you have to go back to asking you what a /server/ does. Serve something? As for the "slave *server*" term you're using, well I'd be curious if you found that in some docs, since the "server" suffix would seem quite wrong in general IMO. My 2 cents Le 19 août 2016 12:52 AM, "Kiran" <catrinarain...@gmail.com> a écrit : > In the context of Jenkins, is a slave server one that receives a build? > Or is it an auxiliary server that offloads some of the computing demand for > resources of a distributed build? > > With Jenkins 2.x, the term is "permanent agent." I want to know precisely > what to call a server that receives a Jenkins build/deployment. If a file > receives code or a file from Jenkins, what is the server called? Is it a > managed node? Is there no term for it? > > -- > You received this message because you are subscribed to the Google Groups > "Jenkins Users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to jenkinsci-users+unsubscr...@googlegroups.com. > To view this discussion on the web visit https://groups.google.com/d/ > msgid/jenkinsci-users/6564596c-47a8-4c18-a103-0ee6fed65bf6%40googlegroups. > com > <https://groups.google.com/d/msgid/jenkinsci-users/6564596c-47a8-4c18-a103-0ee6fed65bf6%40googlegroups.com?utm_medium=email&utm_source=footer> > . > For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "Jenkins Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to jenkinsci-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-users/CANWgJS5sAk3edQ3JL5OGH8LY9WLaQ%3D-41ExxZ%2BL4h7PbZ0cPWQ%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
