diff options
author | Endi S. Dewata <edewata@redhat.com> | 2016-06-09 07:49:12 +0200 |
---|---|---|
committer | Endi S. Dewata <edewata@redhat.com> | 2016-06-09 07:51:30 +0200 |
commit | 0782ff9dec5bb1d1b383d239e160dbbc8bc3ae29 (patch) | |
tree | 0e27009e7b61f0b9e6d420bd1b81e1c5a5716abf /scripts/theme-update.sh | |
parent | 318852575ceb8c42e8844b673c2422a38b6f60f4 (diff) | |
download | pki-dev-0782ff9dec5bb1d1b383d239e160dbbc8bc3ae29.tar.gz pki-dev-0782ff9dec5bb1d1b383d239e160dbbc8bc3ae29.tar.xz pki-dev-0782ff9dec5bb1d1b383d239e160dbbc8bc3ae29.zip |
Update theme scripts.
Diffstat (limited to 'scripts/theme-update.sh')
-rwxr-xr-x | scripts/theme-update.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/scripts/theme-update.sh b/scripts/theme-update.sh new file mode 100755 index 0000000..3c261de --- /dev/null +++ b/scripts/theme-update.sh @@ -0,0 +1,4 @@ +#!/bin/sh -x + +./theme-uninstall.sh +./theme-install.sh |