debian-edu-copy-pki1
Copy user's pki files from the debian edu main server
Usage
debian-edu-copy-pki
Overview
This script is useful on roaming workstations. The user's "$HOME/.pki" directory on the main server is copied to the local home directory.
- This way, all programs relying on the PKI infrastructure (like e.g. Chromium) will accept Debian Edu self signed certificates.
Releases
Unchanged in 3 releases since Debian 11 (Bullseye).