RE: Security Realm by Custom Script Plugin: Group Command Script

2012-08-18 Thread Bowling, Brad
users@googlegroups.com Subject: Re: Security Realm by Custom Script Plugin: Group Command Script you could use role strategy plugin to administrate the group/role assignments or just enter some group names where you usually add single users in the security config. https://wiki.jenkins-ci.org/display/JENKINS

Re: Security Realm by Custom Script Plugin: Group Command Script

2012-08-18 Thread domi
> [mailto:jenkinsci-users@googlegroups.com] On Behalf Of Bowling, Brad > Sent: Wednesday, August 15, 2012 1:22 PM > To: jenkinsci-users@googlegroups.com > Subject: RE: Security Realm by Custom Script Plugin: Group Command Script > > Thanks Domi. > > -Original

RE: Security Realm by Custom Script Plugin: Group Command Script

2012-08-17 Thread Bowling, Brad
f Bowling, Brad Sent: Wednesday, August 15, 2012 1:22 PM To: jenkinsci-users@googlegroups.com Subject: RE: Security Realm by Custom Script Plugin: Group Command Script Thanks Domi. -Original Message- From: jenkinsci-users@googlegroups.com [mailto:jenkinsci-users@googlegroups.com] On Behalf Of

RE: Security Realm by Custom Script Plugin: Group Command Script

2012-08-15 Thread Bowling, Brad
Thanks Domi. -Original Message- From: jenkinsci-users@googlegroups.com [mailto:jenkinsci-users@googlegroups.com] On Behalf Of domi Sent: Wednesday, August 15, 2012 1:13 PM To: jenkinsci-users@googlegroups.com Subject: Re: Security Realm by Custom Script Plugin: Group Command Script I

Re: Security Realm by Custom Script Plugin: Group Command Script

2012-08-15 Thread domi
I also updated the documentation: https://wiki.jenkins-ci.org/display/JENKINS/Script+Security+Realm Domi On 15.08.2012, at 19:05, domi wrote: > Hi Brad, > you'r right with the purpose of the group command script, thats exactly what > it is for. > The script can be any kind of shell script and

Re: Security Realm by Custom Script Plugin: Group Command Script

2012-08-15 Thread domi
Hi Brad, you'r right with the purpose of the group command script, thats exactly what it is for. The script can be any kind of shell script and should return 0 for any successful execution. a simple script would be like this: #!/bin/sh if [ "$U" == "domi" ]; then echo "admin,superuser" fi Domi