Firmennetze, Protokolle und Supportberichte
Wie Ravelon den System-Proxy und den Zertifikatsspeicher nutzt, wo das Diagnoseprotokoll liegt und wie du einen Supportbericht erstellst.
Proxy#
Ravelon nutzt den System-Proxy (Netzwerkeinstellungen von macOS, Internetoptionen von Windows) und die Variablen HTTPS_PROXY, HTTP_PROXY, ALL_PROXY und NO_PROXY für Sync, KI-Anbieter, Voice, Telemetrie und Icons. KI-Anbieter auf demselben Computer, etwa Ollama auf localhost, werden immer direkt erreicht. SSH-, RDP- und VNC-Verbindungen nutzen keinen HTTP-Proxy. Für SSH über einen Proxy stellst du ihn pro Host ein, siehe Per SSH verbinden.
TLS-Inspektion und Firmenzertifikate#
Ravelon vertraut zusätzlich zu den eigenen Stammzertifikaten dem Zertifikatsspeicher des Betriebssystems. Eine auf dem Computer installierte Firmen-Stammzertifizierungsstelle wird daher akzeptiert. Zertifikatsprüfungen werden nie abgeschaltet. Starte Ravelon nach der Installation eines neuen Stammzertifikats neu.
Diagnoseprotokoll#
| Plattform | Ordner |
|---|---|
| macOS | ~/Library/Logs/Ravelon |
| Windows | %LOCALAPPDATA%\Ravelon\logs |
| Linux | $XDG_STATE_HOME/ravelon/logs oder ~/.local/state/ravelon/logs |
Das Protokoll hält Starts, SSH-Verbindungsschritte, Prüfungen von Hostschlüsseln und Fehler fest und nennt Hostadressen, Ports, Benutzernamen und Fingerabdrücke von Hostschlüsseln. Es enthält nie Passwörter, Schlüssel, Passphrasen, Terminal-Ein- oder -Ausgaben oder KI-Gespräche. Es umfasst höchstens 2 MiB plus eine vorherige Datei.
Ausführliches SSH-Protokoll unter Einstellungen → Über → Diagnose ergänzt Anmeldeversuche und die Aushandlung der Algorithmen, bis Ravelon neu startet.
Supportbericht#
Supportbericht → Bericht speichern… unter Einstellungen → Über → Diagnose speichert eine Textdatei mit Version, Plattform, Zustand von Tresor und Sync, der Richtlinie, der Anzahl gespeicherter Einträge, den Namen gesetzter Proxy-Variablen und dem Ende der Protokolle. Sie enthält keine Hostnamen aus dem Tresor, keine Notizen, keine Zugangsdaten und keine E-Mail-Adresse des Kontos. Der Protokollteil nennt Hostadressen und Benutzernamen wie oben beschrieben.
Linux-Pakete#
Releases enthalten ein AppImage, ein .deb- und ein .rpm-Paket für x86_64 und ARM64. Das AppImage aktualisiert sich selbst. Installationen per .deb und .rpm aktualisierst du, indem du das neuere Paket installierst, etwa über deine Softwareverteilung; der eingebaute Updater bleibt für sie aus.
Zuletzt aktualisiert 30. September 2026