Difference between revisions of "Synchronize Configuration"

From VSI OpenVMS Wiki
Jump to: navigation, search
(Settings Description)
Line 25: Line 25:
 
* <code>'''setTimeByShell'''</code> - If SFTP server on OpenVMS host didn't set the file time, VMS IDE can use shell command to do this.
 
* <code>'''setTimeByShell'''</code> - If SFTP server on OpenVMS host didn't set the file time, VMS IDE can use shell command to do this.
 
* <code>'''unzipCmd'''</code> - Is used to run user defined command to unzip archive, default is <code>unzip -oo "-D"</code> and file name added at the end.
 
* <code>'''unzipCmd'''</code> - Is used to run user defined command to unzip archive, default is <code>unzip -oo "-D"</code> and file name added at the end.
 +
 +
[[Category:VMS IDE]]

Revision as of 08:01, 31 March 2019

Synchronize Configuration Example

{
    "synchronize": {
        "downloadNewFiles": "edit",
        "keepAlive": false,
        "preferZip": false,
        "purge": false,
        "setTimeAttempts": 3,
        "setTimeByShell": true,
        "unzipCmd": ""
    }
}

Settings Description

  • downloadNewFiles - Strategy for downloading remote files which are newer than local copies.
    • overwrite - remote files will overwrite local files.
    • skip - remote files will not be downloaded but an appropriate warning message will be shown.
    • edit - remote files will be downloaded into memory and the edit-merge window will be opened to allow user decide what changes to save.
  • keepAlive - Shell and SFTP connections will not be closed after synchronization is done and will be reused for the next synchronization.
  • preferZip - Prefer ZIP for uploading source files.
  • purge - Execute PURGE command after uploading source.
  • setTimeAttempts - The maximum number of attempts to set file time. NOTE: the first attempt to set file time may be rejected because the file is busy. VMS IDE will re-try to set time again.
  • setTimeByShell - If SFTP server on OpenVMS host didn't set the file time, VMS IDE can use shell command to do this.
  • unzipCmd - Is used to run user defined command to unzip archive, default is unzip -oo "-D" and file name added at the end.