From a025cddbc5643d1e8c9d2bf733a101417213d91b Mon Sep 17 00:00:00 2001 From: Thomas Bruederli Date: Sun, 5 Aug 2012 14:13:13 +0200 Subject: Fix default skin removal --- bin/installto.sh | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'bin') diff --git a/bin/installto.sh b/bin/installto.sh index 7fdd1b909..de96bf004 100755 --- a/bin/installto.sh +++ b/bin/installto.sh @@ -60,10 +60,11 @@ if (strtolower($input) == 'y') { if (is_dir("$target_dir/skins/default")) { echo "Removing old default skin..."; - system("rm -rf $target_dir/skins/default"); + system("rm -rf $target_dir/skins/default $target_dir/plugins/jqueryui/themes/default"); foreach (glob(INSTALL_PATH . "plugins/*/skins") as $plugin_skin_dir) { $plugin_skin_dir = preg_replace('!^.*' . INSTALL_PATH . '!', '', $plugin_skin_dir); - system("rm -rf $target_dir/$plugin_skin_dir/default"); + if (is_dir("$target_dir/$plugin_skin_dir/classic")) + system("rm -rf $target_dir/$plugin_skin_dir/default"); } echo "done.\n\n"; } -- cgit v1.2.3