[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [tlaplus] Ability to use Vim keystrokes with TLA+ Toolbox?

Hi Markus,

I have failed to installed vrapper in the latest version of Toolbox (Version 1.6.0 of 10 July 2019) 
on Ubuntu 18.04 following the instructions.
(It works for the 1.5.7 Toolbox on Ubuntu 18.04.)
The configuration:

BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=en_US
Command-line arguments:  -os linux -ws gtk -arch x86_64 -console -consoleLog

Distributor ID: Ubuntu
Description: Ubuntu 18.04.2 LTS
Release: 18.04
Codename: bionic
The error info:

./toolbox -console -consoleLog


start org.eclipse.equinox.p2.console


provaddrepo http://vrapper.sourceforge.net/update-site/stable


How to fix this?

By the way, is there a plan to support vim "officially" in Toolbox?

Best regards,


On Sunday, May 7, 2017 at 4:32:30 AM UTC+8, Markus Alexander Kuppe wrote:
On 06.05.2017 16:23, Thomas Gebert wrote:
This is admittedly kind of petty, but I am having a slight bit of trouble navigating around the Eclipse-based Toolbox, as I use Vim keystrokes basically everywhere.  

Traditionally when I've used Eclipse I've installed a plugin to give me basic Vim support, but I don't see an option to install any plugins in the Toolbox.  Has anyone here figured out a way to do that? 

Hi Thomas, Hi Yoriyasu,

while Yoriyasu's way to install vrapper obviously works, this way to install plugins has been deprecated by Eclipse and might break your Toolbox in subtle ways. If you ever run into problems, here's how you install plugins manually:

1) Start the toolbox from the command line with the two parameters "./toolbox -console -consoleLog" to activate its console

2) In the console ("osgi>" prompt), activate the functionality to install plugins: "start org.eclipse.equinox.p2.console"

3) Add the p2 repository a.k.a update site of the plugin, e.g. "provaddrepo http://vrapper.sourceforge.net/update-site/stable"

4) List the available "installation units" (IU) in the update site "provlg http://vrapper.sourceforge.net/update-site/stable"

5) Install the top-level IU with "provinstall net.sourceforge.vrapper.feature.group 0.72.0 DefaultProfile"

provinstall triggers a (modal) dialog in the Toolbox. Accept it and restart the Toolbox.



You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/55cf72a3-0e9c-4ed5-9528-f93b08271565%40googlegroups.com.