base-remove.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/base-remove.sh

blob: 90d20c1a63755b09c327fb51abdc87adcfa6a6f0 (plain)

#!/bin/sh -x

rpm -e --nodeps pki-symkey
rpm -e --nodeps pki-base
rpm -e --nodeps pki-tools
rpm -e --nodeps pki-core-debuginfo