API Version: 47
Library Version: 47
Generated by gi-docgen 2023.3
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.
Type: const char*
const char*
A shell such as “/bin/sh”