Uses of Record Class
com.github.copilot.generated.rpc.ShellCredentials

Packages that use ShellCredentials

Package	Description
com.github.copilot.generated.rpc	Auto-generated RPC parameter and result types for the GitHub Copilot SDK.

Uses of ShellCredentials in com.github.copilot.generated.rpc

Methods in com.github.copilot.generated.rpc that return ShellCredentials

Modifier and Type	Method	Description
ShellCredentials	ShellOptions.credentials()	Returns the value of the credentials record component.

Constructors in com.github.copilot.generated.rpc with parameters of type ShellCredentials

Modifier	Constructor	Description
	ShellOptions(ShellInitProfile initProfile, List<ShellInitScript> initScripts, List<String> processFlags, ShellCredentials credentials)	Creates an instance of a ShellOptions record class.