Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- # color, editor color prefs
- cp -iv ./.plugins/org.eclipse.core.runtime/.settings/org.eclipse.jdt.ui.prefs <to_rel_path>
- cp -iv ./.plugins/org.eclipse.core.runtime/.settings/org.eclipse.ui.editors.prefs <to_rel_path>
- cp -iv ./.plugins/org.eclipse.core.runtime/.settings/org.eclipse.ui.editors.prefs <to_rel_path>
- cp -iv ./.plugins/org.eclipse.core.runtime/.settings/org.eclipse.cdt.ui.prefs <to_rel_path>
- cp -iv ./.plugins/org.eclipse.core.runtime/.settings/org.eclipse.wst.jsdt.ui.prefs <to_rel_path>
- # to workbench layout prefs
- File > Switch Workspace > Other
- and copy needed ones
Add Comment
Please, Sign In to add comment
