Man page - debian-edu-copy-pki(1)

Packages contains this manual

Manual

DEBIAN-EDU-COPY-PKI

NAME
SYNOPSIS
DESCRIPTION
AUTHORS

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