Hi Sami, Thank you very much for your reply. I have read the man page of bash and it helped me understanding the context much better. At the same time I got more questions. But first I probably should explain my case a little better:
Basically the projects we are trying to compile here through Jenkins are FPGA design projects. We usually use the tools from FPGA suppliers to compile the design in windows environment, both GUI and commanding line tools are available. For the command line tools, the supplier uses a batch file to setup the environment variables needed for their tools and then launches bash.exe in the cygwin/bin directory with --rcfile option to load their bash environment. After I posted my question, I was able to source their rcfile in the beginning of my compilation script to get the bash environment right... But now I feel that's probably not the elegant way of solving the problem. So here comes my questions: 1. When Jenkins launches bash, does it launch bash into interactive but no login mode? If not, which mode does it launch into? 2. Does Jenkins know where my home is in the cygwin environment? Even though the FPGA design tools comes with a cygwin installation, but it is tailed by the supplier so the paths and environment variables comes with a normal cygwin installation are intentionally removed from windows environment (so they can have multiple copies of their tools, therefore cygwin installations, coexisting in a PC... I think). For me however, I just need one copy of the tools visible to Jenkins, so I guess I could add those paths and environment variables in Jenkins. But do you know what are they? I hope my questions are not too newbie-ish....even a pointer to the right reading material would be much appreciated. Thanks again for your time! Hua -- View this message in context: http://jenkins.361315.n4.nabble.com/Newbie-question-How-to-configure-Jenkins-to-use-bash-with-rcfile-tp4661046p4661091.html Sent from the Jenkins users mailing list archive at Nabble.com. -- 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. For more options, visit https://groups.google.com/groups/opt_out.
