|
@@ -43,7 +43,7 @@ |
|
|
block discarded – undo |
|
43
|
43
|
{ |
|
44
|
44
|
$buffer = "# this /bin/sh script is generated from a pipeline script\n"; |
|
45
|
45
|
$buffer .= "set -e\n"; |
|
46
|
|
- $buffer .= 'test "$0" = "/bin/bash" && if [ -f ~/.bashrc ]; then source ~/.bashrc; fi' . "\n"; |
|
|
46
|
+ $buffer .= 'test "$0" = "/bin/bash" && if [ -f ~/.bashrc ]; then source ~/.bashrc; fi' . "\n"; |
|
47
|
47
|
$buffer .= self::generateScriptBody( |
|
48
|
48
|
$script, |
|
49
|
49
|
self::getLinePostCommand($scriptExitEarly) |
Please login to merge, or discard this patch.