Company networks, logs and support reports

Proxy#

Ravelon uses the system proxy (macOS network settings, Windows Internet settings) and the HTTPS_PROXY, HTTP_PROXY, ALL_PROXY and NO_PROXY variables for sync, AI providers, voice, telemetry and icons. AI providers on the same computer, for example Ollama on localhost, are always reached directly. SSH, RDP and VNC connections do not use an HTTP proxy. For SSH through a proxy, set it per host, see Connect via SSH.

TLS inspection and company certificates#

Ravelon trusts the operating system's certificate store in addition to its own root certificates, so a company root CA installed on the computer is accepted. Certificate checks are never switched off. Restart Ravelon after installing a new root certificate.

Diagnostic log#

The log records starts, SSH connection steps, host key checks and errors, and names host addresses, ports, user names and host key fingerprints. It never contains passwords, keys, passphrases, terminal input or output, or AI conversations. It holds at most 2 MiB plus one previous file.

Detailed SSH log under Settings → About → Diagnostics adds sign-in attempts and algorithm negotiation until Ravelon restarts.

Support report#

Support report → Save report… under Settings → About → Diagnostics saves one text file with the version, platform, vault and sync state, the policy, counts of saved items, the names of proxy variables that are set, and the end of the logs. It contains no host names from the vault, no notes, no credentials and no account e-mail. The log part names host addresses and user names as described above.

Linux packages#

Releases include an AppImage, a .deb and an .rpm package for x86_64 and ARM64. The AppImage updates itself. .deb and .rpm installs are updated by installing the newer package, for example through your software distribution; the built-in updater stays off for them.