---
name: "debian-edu-copy-pki"
section: "1"
platform: "linux"
package: "debian-edu-config"
version: "2.13.2~deb13u1"
release: "Debian 13 (Trixie)"
platforms: ["linux"]
url: "https://new.carta.tech/debian-edu-copy-pki"
---

# debian-edu-copy-pki(1)

copy user's PKI files from the Debian Edu main server

## 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