Managing Configuration

lip has two kinds of configuration: the user configuration, with settings that affect how lip interacts with remote services, and the workspace configuration, with settings of one workspace. Add --workspace to a lip config command to use the configuration of the workspace in the current directory.

Viewing Configuration

To see all current configuration settings:

lip config list
lip config list --workspace

To get the value of a specific key:

lip config get <KEY>

Example:

lip config get github_proxy

Setting Configuration

To set a configuration value:

lip config set <KEY> <VALUE>

Common Settings

• github_proxy (user): A URL to use as a proxy for GitHub requests, or an empty string to connect to GitHub directly.
• language (user): en, zh-Hans or zh-Hant, the language of the interactive interface. Without it, the interface follows the language of your system.
• restart (workspace): never or on-failure, whether lip run restarts the server of the workspace when it exits with a non-zero exit code.

Examples:

lip config set github_proxy https://mirror.ghproxy.com/
lip config set github_proxy ""
lip config set language zh-Hans
lip config set restart on-failure --workspace

Deleting Configuration

To remove a setting and revert to its default (if any):

lip config delete <KEY>