My mail is bernard.gran...@morpho.com Cordialement,
Bernard Granier CE Plateforme Système bernard.gran...@morpho.com 01 58 11 32 51 -----Original Message----- From: puppet-users@googlegroups.com [mailto:puppet-users@googlegroups.com] On Behalf Of Henrik Lindberg Sent: Monday, January 14, 2013 5:38 PM To: puppet-users@googlegroups.com Subject: Re: [Puppet Users] geppeto packaging On 2013-14-01 16:58, GRANIER Bernard (MORPHO) wrote: > Due to internet policy of my company, I can not access to gepetto install > site thru eclipse. > > Is it possible to download gepetto plugin as a zip ? I mean not a full > eclipse but just the plugin. > It is not available to the public, please contact me directly and I will help you out. (Email or on #geppetto on IRC) Supposedly it should also be possible to install into an Eclipse IDE from the pacakged Geppetto by refering to its location in Eclipse - but have not tried this. Longer term we will make the repository itself available. We intended to put it up on github download, but now that service has been deprecated and we are looking for a new download home. Regards - henrik -- You received this message because you are subscribed to the Google Groups "Puppet Users" group. To post to this group, send email to puppet-users@googlegroups.com. To unsubscribe from this group, send email to puppet-users+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/puppet-users?hl=en. # " This e-mail and any attached documents may contain confidential or proprietary information. If you are not the intended recipient, you are notified that any dissemination, copying of this e-mail and any attachments thereto or use of their contents by any means whatsoever is strictly prohibited. If you have received this e-mail in error, please advise the sender immediately and delete this e-mail and all attached documents from your computer system." # -- You received this message because you are subscribed to the Google Groups "Puppet Users" group. To post to this group, send email to puppet-users@googlegroups.com. To unsubscribe from this group, send email to puppet-users+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/puppet-users?hl=en.
