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