You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
@@ -377,6 +377,18 @@ To use a custom install path for the PDK, set the `puppet.installDirectory` sett
377
377
}
378
378
```
379
379
380
+
The PDK has many versions of Puppet which can be used. Set the `puppet.editorService.puppet.version` setting to the version you would like to use, for example, if you wanted to use version 5.4.0, then set the configuration to:
381
+
382
+
```json
383
+
{
384
+
"puppet.editorService.puppet.version":"5.4.0"
385
+
}
386
+
```
387
+
388
+
You can also change the version from the status bar in Visual Studio Code. Click on the Puppet version text in the status bar and then select which Puppet version you would like to use. Note that this will require Visual Studio Code to be restarted to take effect.
Copy file name to clipboardExpand all lines: package.json
+5Lines changed: 5 additions & 0 deletions
Original file line number
Diff line number
Diff line change
@@ -365,6 +365,11 @@
365
365
"default": "",
366
366
"description": "The Puppet cache directory. See https://puppet.com/docs/puppet/latest/dirs_vardir.html for more information"
367
367
},
368
+
"puppet.editorService.puppet.version": {
369
+
"type": "string",
370
+
"default": "",
371
+
"description": "The version of Puppet to use. For example '5.4.0'. This is generally only applicable when using the PDK installation type. If Puppet Editor Services is unable to use this version, it will default to the latest available version of Puppet."
372
+
},
368
373
"puppet.editorService.tcp.address": {
369
374
"type": "string",
370
375
"description": "The IP address or hostname of the remote Puppet Editor Service to connect to, for example 'computer.domain' or '192.168.0.1'. Only applicable when the editorService.protocol is set to tcp"
0 commit comments