API Version: 47
Library Version: 47
Generated by gi-docgen 2023.3
const char* ide_get_user_default_path ( void )
Gets the default $PATH on the system for the user on the host.
$PATH
This value is sniffed during startup and will default to SAFE_PATH configured when building Builder until that value has been discovered.
SAFE_PATH
Type: const char*
const char*
A string such as “/bin:/usr/bin”