× The internal search function is temporarily non-functional. The current search engine is no longer viable and we are researching alternatives.
As a stop gap measure, we are using Google's custom search engine service.
If you know of an easy to use, open source, search engine ... please contact support@midrange.com.



I'm not sure I fully understand the issue. I imagine you're saying that if
a workspace becomes unreachable, then RDi doesn't give you the option of
even starting up enough to switch to a new workspace. You might find
something under Eclipse discussion on the web, rather than just RDi. I did
find this advice on starting with a different workspace from the command
line:

How do I start Eclipse?


The simplest way:
Double-click eclipse.exe or the Eclipse application, or
Browse to the directory where you unpacked Eclipse, then run eclipse
or ./eclipse


If you need to add additional command-line parameters, then you will need
to get to a command prompt and run something like:


/path/to/eclipse/eclipse -data /path/to/workspace -vm /path/to/jvm/bin/java
-vmargs -Xms256M -Xmx512M -XX:PermSize=64M -XX:MaxPermSize=128M






____________________________________________________________________________________________________________________
How do I use a different workspace?


Three ways:
1. In Eclipse, select File > Switch Workspace
2. In Eclipse, select Window > Preferences... > General > Startup and
Shutdown > [x] Prompt for workspace on startup, then restart Eclipse.
3. Via commandline, run ./eclipse -data /path/to/new/workspace/folder


As an Amazon Associate we earn from qualifying purchases.

This thread ...

Replies:

Follow On AppleNews
Return to Archive home page | Return to MIDRANGE.COM home page

This mailing list archive is Copyright 1997-2024 by midrange.com and David Gibbs as a compilation work. Use of the archive is restricted to research of a business or technical nature. Any other uses are prohibited. Full details are available on our policy page. If you have questions about this, please contact [javascript protected email address].

Operating expenses for this site are earned using the Amazon Associate program and Google Adsense.