Skip to main content

config commands

Config commands configure coordinator and remote stuffs.

config username​

config username command sets current user's name

Usage​

config username [options]

Options​

  • --username <username>: sets username specifically
  • --throwOnError: throw error on failure

config get-public-key​

config get-public-key command shows the public key used for SSH.

Usage​

config get-public-key [options]

Options​

  • --throwOnError: throw error on failure

config sample-scripts​

config sample-scripts command adds sample scripts to the current workspace.

Usage​

config sample-scripts [options]

Options​

  • --throwOnError: throw error on failure