API Version: 42.0
Library Version: 42.0
Generated by gi-docgen 2023.1
since: 3.32
const gchar* 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: 3.32
Type: const gchar*
const gchar*
A shell such as “/bin/sh”