diff options
author | root <root@ghunt-desktop.(none)> | 2011-02-26 19:21:46 (GMT) |
---|---|---|
committer | root <root@ghunt-desktop.(none)> | 2011-02-26 19:21:46 (GMT) |
commit | 7ee55bc377e19031d68da1a4528722c99b976106 (patch) | |
tree | eb1551466c01a3ddb2c3b3ef5ef8e2c93553738f /project_gui.py | |
parent | 9534219347377bb89a10373b44840ac01c7e5f1a (diff) |
ictcore and sysmlink to playpen added
Diffstat (limited to 'project_gui.py')
-rw-r--r-- | project_gui.py | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/project_gui.py b/project_gui.py index e79217c..e8681e5 100644 --- a/project_gui.py +++ b/project_gui.py @@ -698,6 +698,12 @@ class ProjectGui(ProjectFunctions): #add the bin directory to path if self._activity.child_path not in os.environ['PATH'].split(':'): os.environ['PATH'] = os.path.join(self._activity.child_path,'bin') + ':' + os.environ['PATH'] + + #make a link to the playpen if it doesn't conflict with existing diredtory + link_dir = os.path.join('/home/olpc/Activities', + os.path.basename(self._activity.child_path)) + if not os.path.isdir(link_dir): + os.symlink(self._activity.child_path,link_dir) #calculate and store the md5sum self._activity.debug_dict['tree_md5'] = self._activity.util.md5sum_tree(self._activity.child_path) |