Scroll to navigation

DEBIAN-EDU-COPY-PKI(1) Debian Edu User Tools DEBIAN-EDU-COPY-PKI(1)

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.

AUTHORS

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

December 2020 Debian Edu