Revision 471 org.gvsig.scripting/trunk/org.gvsig.scripting/org.gvsig.scripting.app/org.gvsig.scripting.app.mainplugin/src/main/java/org/gvsig/scripting/app/extension/ScriptingExtension.java

View differences:

ScriptingExtension.java
34 34
import java.util.List;
35 35

  
36 36
import javax.swing.JOptionPane;
37
import org.apache.commons.io.FileUtils;
37 38

  
38 39
import org.gvsig.andami.IconThemeHelper;
39 40
import org.gvsig.andami.PluginServices;
......
106 107
        IconThemeHelper.registerIcon("action", "tools-scripting-console-jython", this);
107 108
    }
108 109

  
110
    private void addLinkToPreviousVersion(ScriptingManager manager) {
111
//        File home = manager.getHomeFolder();
112
//        File home_1_0 = new File(home.getParentFile(), "org.gvsig.scripting.app.extension");
113
//        File home_scripts_1_0 = new File(home_1_0, "scripts");
114
//        manager.addAlternativeUserFolder(home_scripts_1_0, "Usuario (1.0)", "Scripts de usuario (1.0)");
115
        
116
        String contents = "[Unit]\n" +
117
            "type = Folder\n" +
118
            "name = Previous version\n" +
119
            "description =\n" +
120
            "createdBy =\n" +
121
            "version =\n" +
122
            "\n" +
123
            "[Folder]\n" +
124
            "path = ../../org.gvsig.scripting.app.extension/scripts\n\n\n";
125
        File previousVersion = new File(manager.getUserFolder().getFile(),"previous_version.inf");
126
        if( !previousVersion.exists() ) {
127
            try {
128
                FileUtils.writeStringToFile(previousVersion, contents);
129
            } catch (IOException ex) {
130
                logger.warn("Can't create ScriptingFolder file in '"+previousVersion.getAbsolutePath()+"'.",ex);
131
            }
132
        }
133
    }
134
    
109 135
    @Override
110 136
    public void postInitialize() {
111 137
        super.postInitialize();
......
114 140

  
115 141
        File home = this.getPlugin().getPluginHomeFolder();
116 142
        manager.setHomeFolder(home);
117
        File home_1_0 = new File(home.getParentFile(), "org.gvsig.scripting.app.extension");
118
        File home_scripts_1_0 = new File(home_1_0, "scripts");
119
        manager.addAlternativeUserFolder(home_scripts_1_0, "Usuario (1.0)", "Scripts de usuario (1.0)");
120

  
143
        
144
        this.addLinkToPreviousVersion(manager);
145
        
121 146
        List<File> pluginsFolders = new ArrayList<>();
122 147
        for (File f : pluginManager.getPluginsFolders()) {
123 148
            pluginsFolders.addAll(Arrays.asList(f.listFiles()));

Also available in: Unified diff