theme-reinstall.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/theme-reinstall.sh

blob: 3c261dedc1b68bad292144fb56f80066a66f532d (plain)

#!/bin/sh -x

./theme-uninstall.sh
./theme-install.sh