NAME¶

debian-edu-copy-pki - copy user's PKI files from the Debian Edu main server

SYNOPSIS¶

debian-edu-copy-pki

DESCRIPTION¶

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.

AUTHORS¶

Debian Edu Team, https://blends.debian.org/edu