Notice: this Wiki will be going read only early in 2024 and edits will no longer be possible. Please see: https://gitlab.eclipse.org/eclipsefdn/helpdesk/-/wikis/Wiki-shutdown-plan for the plan.
Difference between revisions of "Orion/OrionLocalShell"
< Orion
(Created page with "= Direct OS Shell in Orion = [https://bugs.eclipse.org/bugs/show_bug.cgi?id=427399 Bug 427399] - 'Shell' Provide an Orion Node shell based on tty.js/term.js") |
(→Direct OS Shell in Orion) |
||
Line 2: | Line 2: | ||
[https://bugs.eclipse.org/bugs/show_bug.cgi?id=427399 Bug 427399] - 'Shell' Provide an Orion Node shell based on tty.js/term.js | [https://bugs.eclipse.org/bugs/show_bug.cgi?id=427399 Bug 427399] - 'Shell' Provide an Orion Node shell based on tty.js/term.js | ||
+ | |||
+ | Abstract: Strip Orion's Node.js old shell functionality and replace it with a fuller browser shell. Currently, only a few commands (cd, clear, edit, help, ls, node, npm, plugins, pwd, and service) have been manually extended for the shell. Use WebSocket and tty.js/term.js to provide fuller and more easily maintainable functionality, rather than having to add each command individually. | ||
+ | |||
+ | == Working on a pull request for direct_os_shell == | ||
+ | |||
+ | Here are the steps for working on a small fix or enhancement using GitHub: | ||
+ | |||
+ | #Create a topic branch off of ''direct_os_shell''. Use the format '''userid'''/<topicBranchName> | ||
+ | ##if you've already started on direct_os_shell don't worry, you can create your topic branch and check it out at any time | ||
+ | ##if you made a commit while you were still in direct_os_shell then create the topic branch and reset --hard origin/direct_os_shell | ||
+ | #make your changes, add them, commit | ||
+ | #push your topic branch up to your repo | ||
+ | #open a pull request against https://github.com/jrbalsano/orion.client and the direct_os_shell branch | ||
+ | |||
+ | == Merging a direct_os_shell pull request == | ||
+ | |||
+ | For merging into direct_os_shell: | ||
+ | |||
+ | #pull down the request locally into a temp branch | ||
+ | #rebase on origin/direct_os_shell | ||
+ | #switch to direct_os_shell and merge the temp branch (it'll do a FF merge) | ||
+ | #push the result back up to direct_os_shell | ||
+ | #Github should recognize and close the pull request as merged |
Revision as of 15:04, 8 February 2014
Direct OS Shell in Orion
Bug 427399 - 'Shell' Provide an Orion Node shell based on tty.js/term.js
Abstract: Strip Orion's Node.js old shell functionality and replace it with a fuller browser shell. Currently, only a few commands (cd, clear, edit, help, ls, node, npm, plugins, pwd, and service) have been manually extended for the shell. Use WebSocket and tty.js/term.js to provide fuller and more easily maintainable functionality, rather than having to add each command individually.
Working on a pull request for direct_os_shell
Here are the steps for working on a small fix or enhancement using GitHub:
- Create a topic branch off of direct_os_shell. Use the format userid/<topicBranchName>
- if you've already started on direct_os_shell don't worry, you can create your topic branch and check it out at any time
- if you made a commit while you were still in direct_os_shell then create the topic branch and reset --hard origin/direct_os_shell
- make your changes, add them, commit
- push your topic branch up to your repo
- open a pull request against https://github.com/jrbalsano/orion.client and the direct_os_shell branch
Merging a direct_os_shell pull request
For merging into direct_os_shell:
- pull down the request locally into a temp branch
- rebase on origin/direct_os_shell
- switch to direct_os_shell and merge the temp branch (it'll do a FF merge)
- push the result back up to direct_os_shell
- Github should recognize and close the pull request as merged