API Version: 44
Library Version: 44
Generated by gi-docgen 2023.3
since: 44
const char* ide_get_user_shell ( void )
Gets the user preferred shell on the host.
If the background shell discovery has not yet finished due to slow or misconfigured getent on the host, this will provide a sensible fallback.
Available since: 44
Type: const char*
const char*
A shell such as “/bin/sh”