Top | ![]() |
![]() |
![]() |
![]() |
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.
Since: 3.32