pki-update.sh « scripts - pki-dev.git - Unnamed repository; edit this file 'description' to name the repository.

summary refs log tree commit diff stats

path: root/scripts/pki-update.sh

blob: 94d490512c8ce91a4446264b0f594df5e4a88b8c (plain)

#!/bin/sh -x

./pki-remove.sh
./pki-install.sh