Skip to main content

Rigi Documentation

Project settings – Workspace

To access the settings for the project's workspace, in the project menu, select Settings > Project > Workspace.

Settings__-_Workspace.png

Table 32.

Setting

Description

Manage files in workspace

This setting is enabled by default.

If this setting is disabled, the project will not have the Workspace menu. This can be useful when source files are managed in a third-party tool. For details, see the Projects without a workspace section.

Pseudo language

The selected locale will be used to create the Rigi tokens. For details, see the Rigi tokens section.

Connect to GItHub

Switch on this toggle to set up the connection with GitHub:

GitHub.png

  1. Enter the GitHub rootfolder URL.

  2. Enter your GitHub personal access token.

  3. (Optional) Test the connection.

  4. Click the Save button.