|
52 | 52 | shell: bash
|
53 | 53 | env:
|
54 | 54 | NODE_AUTH_TOKEN: ${{ env.NODE_AUTH_TOKEN }}
|
55 |
| - - name: Add Node scripts.sh |
56 |
| - # TODO: https://github.com/pulumi/pulumi/issues/13195 Move this hotfix to the Pulumi CLI. |
57 |
| - if: inputs.sdk == 'nodejs' || inputs.sdk == 'all' |
58 |
| - run: | |
59 |
| - mkdir -p ${{ github.workspace }}/sdk/nodejs/bin/scripts |
60 |
| - cat << 'EOF' > ${{ github.workspace }}/sdk/nodejs/bin/scripts/install-pulumi-plugin.js |
61 |
| - "use strict"; |
62 |
| - var childProcess = require("child_process"); |
63 |
| -
|
64 |
| - var args = process.argv.slice(2); |
65 |
| - var res = childProcess.spawnSync("pulumi", ["plugin", "install"].concat(args), { |
66 |
| - stdio: ["ignore", "inherit", "inherit"] |
67 |
| - }); |
68 |
| -
|
69 |
| - if (res.error && res.error.code === "ENOENT") { |
70 |
| - console.error("\nThere was an error installing the resource provider plugin. " + |
71 |
| - "It looks like `pulumi` is not installed on your system. " + |
72 |
| - "Please visit https://pulumi.com/ to install the Pulumi CLI.\n" + |
73 |
| - "You may try manually installing the plugin by running " + |
74 |
| - "`pulumi plugin install " + args.join(" ") + "`"); |
75 |
| - } else if (res.error || res.status !== 0) { |
76 |
| - console.error("\nThere was an error installing the resource provider plugin. " + |
77 |
| - "You may try to manually installing the plugin by running " + |
78 |
| - "`pulumi plugin install " + args.join(" ") + "`"); |
79 |
| - } |
80 |
| -
|
81 |
| - process.exit(0); |
82 |
| - EOF |
83 |
| - shell: bash |
84 | 55 | - name: Publish Node
|
85 | 56 | if: inputs.sdk == 'nodejs' || inputs.sdk == 'all'
|
86 | 57 | run: pulumi package publish-sdk nodejs --path ${{ github.workspace }}/sdk/nodejs/bin
|
|
0 commit comments