Settings

This page contains detailed information on the configuration settings.

• ev3devBrowser.additionalDevices: This setting is used to provide information about additional devices you may want to connect to. The extension uses zeroconf for device discovery. This should work in most cases, but sometimes network traffic is blocked and devices cannot be automatically discovered. In these cases, you can manually add devices here. Example:

  "ev3devBrowser.additionalDevices": [
      {
          "name": "ev3dev1",
          "ipAddress": "192.168.137.3"
      }
  ]

  You may also find that this extension automatically adds devices to this setting for you.

• ev3devBrowser.env: This setting defines environment variables to send to the device when running programs remotely. Variables are defined as key/value pairs, for example:

  {
      "VARIABLE1": "VALUE1",
      "VARIABLE2": "VALUE2"
  }

• ev3devBrowser.download.directory: This setting allows overriding the directory name where the project will be download. You may want to do this, for example, if you have two projects with the same name. By default the setting is null, which will use the parent directory name of the project. So, for example, if your project is saved at C:\Users\MyName\Documents\MyProject\, then then, on the remote device, the project will be saved at /home/robot/MyProject/. To have the program saved as /home/robot/awesome/ instead:

  "ev3devBrowser.download.directory": "awesome"

• ev3devBrowser.download.exclude: This setting defines a glob pattern of files to omit when downloading files to the remote device.

  Omit hidden files, including those in subdirectories (default):

  "ev3devBrowser.download.exclude": "**/.*"

  Omit Go source files, including those in subdirectories:

  "ev3devBrowser.download.exclude": "**/*.go"

  Use curly braces to exclude two or more patterns, like the two patterns above:

  "ev3devBrowser.download.exclude": "{**/.*,**/*.go}"

• ev3devBrowser.download.include: This setting defines a glob pattern of files to download to the remote device. Here are a few examples:

  All files, including subdirectories (default):

  "ev3devBrowser.download.include": "**/*"

  Only python files, including subdirectories:

  "ev3devBrowser.download.include": "**/*.py"

  Two files name program and data:

  "ev3devBrowser.download.include": "{program,data}"

• ev3devBrowser.password: By default, this setting will be maker (the default password used on ev3dev devices). If you have changed your password on your device, you will need to change it here as well. If you don't like having your password stored in plain text, you can set the value to null (without quotes) and you will be prompted to enter your password when connecting. Likewise, if you have setup public key encryption, set this value to null.

• ev3devBrowser.confirmDelete: Since deleting remote files cannot be undone, the extension presents a confirmation dialog when deleting remote files and directories to prevent accidental deletion. By setting this to false, the confirmation dialog will not be shown. When "Don't show this again" is selected in in the confirmation message, this setting is automatically set to false globally.