         title: 'Shell'
         type: 'string'
         default: terminal.defaultShell()
-        description: 'Shell. Defaults to `$SHELL`.'
+        description: 'The location of an executable shell. Set to `$SHELL` by default, and if `$SHELL` isn\'t set then fallback to `bash` or `powershell.exe` (on Windows).'
         order: 4
       terminal:
         title: 'Terminal'

      deprecationWarnings:
        title: 'Deprecation Warnings'
        type: 'boolean'
        description: 'Hides deprecation warnings if disabled.'
        default: true
        order: 3
      numberOfThreads:

    order: 5.5

if process.platform == 'win32'
  config.juliaOptions.properties.enablePowershellWrapper =
    title: 'Enable Powershell Wrapper'
    type: 'boolean'
    default: true
