Рішення, яке працювало на мене
source ~/.bashrc
Пояснення
Я вперше перевірив, що Дженкінс працює під керівництвом BASH, echo $SHELL
і echo $BASH
(зауважте, я чітко розміщую #!/bin/bash
поверх textarea в Дженкінсі, я не впевнений, чи це вимога отримати BASH). source
Якщо /etc/profile
інші запропонували, це не працює.
Подивившись, /etc/profile
я знайшов
if [ "$PS1" ]; then
...
і перевіряючи "$ PS1", визнано це недійсним. Я намагався підробляти $PS1
безрезультатно, як так
export PS1=1
bash -c 'echo $PATH'
однак це не призвело до бажаного результату (додайте решту, що $PATH
я очікую побачити). Але якщо я скажу Башу бути інтерактивним
export PS1=1
bash -ci 'echo $PATH'
$PATH
був змінений , як я очікував.
Я намагався розібратися, як правильно підробити інтерактивну оболонку для /etc/bash.bashrc
завантаження, однак, виявляється, все, що мені було потрібно, було знищено ~/.bashrc
, тому просто source
вирішивши проблему.
echo $PATH
чи відповідає це тому, що ви бачите в дженкінах?