Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add Portable Mode (from Theia source) #2321

Closed
3 tasks done
pscrespo opened this issue Dec 30, 2023 · 2 comments
Closed
3 tasks done

Add Portable Mode (from Theia source) #2321

pscrespo opened this issue Dec 30, 2023 · 2 comments
Labels
conclusion: duplicate Has already been submitted type: enhancement Proposed improvement

Comments

@pscrespo
Copy link

Describe the request

Since Theia has implemented portable mode, can it be ported to the Arduino IDE?
References: eclipse-theia/theia#12690
eclipse-theia/theia-blueprint#276

Describe the current behavior

Current behavior is no portable mode.

Arduino IDE version

2.x

Operating system

Windows, Linux

Operating system version

Windows 11; Debian

Additional context

I've seen #122, but I can't comment on that one, and thought that this information could be useful for devs.

Issue checklist

  • I searched for previous requests in the issue tracker
  • I verified the feature was still missing when using the latest nightly build
  • My request contains all necessary details
@pscrespo pscrespo added the type: enhancement Proposed improvement label Dec 30, 2023
@linxcow

This comment was marked as duplicate.

Sign in to view
@per1234 per1234 mentioned this issue Jan 1, 2024
Open
3 tasks
@arduino arduino locked as too heated and limited conversation to collaborators Jan 1, 2024
@kittaakos
Copy link
Contributor

Moved to #122 (comment).

Closing as a duplicate

@kittaakos kittaakos closed this as not planned Won't fix, can't repro, duplicate, stale Feb 1, 2024
@kittaakos kittaakos added the conclusion: duplicate Has already been submitted label Feb 1, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
conclusion: duplicate Has already been submitted type: enhancement Proposed improvement
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@kittaakos @pscrespo @linxcow