~/.formal/config.toml.
Authentication
List Resources
↑/k- Move up↓/j- Move downenter- Connect to resource/- Filter resourcesq- Quit?- Show help
Connect to Resources
Databases (PostgreSQL, MySQL, MongoDB)
--launch argument to launch the appropriate CLI program after connecting (for example psql or ssh), e.g.
Specify Native User
To request a Native User instead of the Resource’s assigned default, append its label usingformal@<native_user_label>.
Specify Resource Hostname
If a resource has multiple Resource Hostnames (for example, separate reader and writer endpoints), target one by appending@<hostname-name> to the resource name:
Resource hostname targeting is currently supported for PostgreSQL and MySQL resources.
formal connect output:
RESOURCE_NAME@HOSTNAME_NAME target to disconnect:
SSH
~/.ssh/config automatically.
Configure SSH without write access
Formal adds the following block to the top of~/.ssh/config on your first SSH connection:
Host entries. Then run formal connect <resource-name> again.
Formal writes subsequent SSH resource changes to ~/.formal/ssh_config.
Kubernetes
~/.kube/config to route through the Connector.
Disconnect
Decrypt Data
Decrypt Formal-encrypted data:S3 Operations
The Formals3 command automatically routes traffic to the right Connector so your users don’t have to worry about formatting the right parameters for S3.
Interact with S3 through Formal: