Changeset a025cdd in github

Timestamp:

Aug 5, 2012 8:13:13 AM (10 months ago)

Author:

Thomas Bruederli <thomas@…>

Children:

83121ec

Parents:

471d559

Message:

Fix default skin removal

File:

• bin/installto.sh (modified) (1 diff)

bin/installto.sh

@@ -61 +61 @@
   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";