Version control for models?

[steve....@zuhlke.com]

I'm working on a model, keeping the .tla files in version control but I'm wondering what to do about the model configurations. I see that they're available under a X.toolbox/ directory. Should I just add Module.toolbox/ModelName/ to my version control and ignore all the snapshot directories? 

I hesitate to use the term "Best Practice", so I'll settle for "Good Practice"

Thanks all

S

[Markus Kuppe]

On 04.01.21 08:00, steve....@zuhlke.com wrote:
> I'm working on a model, keeping the .tla files in version control but
> I'm wondering what to do about the model configurations. I see that
> they're available under a X.toolbox/ directory. Should I just add

> /Module/.toolbox//ModelName// to my version control and ignore all the

> snapshot directories?
>
> I hesitate to use the term "Best Practice", so I'll settle for "Good
> Practice"

Hi,

for git I use this: https://github.com/github/gitignore/pull/3613

Markus

[Freeman, Steve]

Interesting. Thanks

S

-----Original Message-----
From: <tla...@googlegroups.com> on behalf of Markus Kuppe <tlaplus-go...@lemmster.de>
Reply to: "tla...@googlegroups.com" <tla...@googlegroups.com>
Date: Monday, 4 January 2021 at 19:14
To: "tla...@googlegroups.com" <tla...@googlegroups.com>
Subject: Re: [tlaplus] Version control for models?

--
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+u...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/9ede70a3-8726-88e9-1168-c6ebfff66dcd%40lemmster.de.

[steve....@zuhlke.com]

Next question. I'd like to use the Eclipse plugins for version control. I can't see how to add the git plugin to the Toolbox and I'm too #lazyweb to figure out how to add the Toolbox to a standard Eclipse installation. Can someone help me with a link?

Thx

S

[Markus Kuppe]

Adding the Toolbox to a standard Eclipse installation will most likely
not work because of how the Toolbox is implemented.


This is how to install EGit into the Toolbox version 1.7.1:

1) Close the Toolbox
2) In the Toolbox directory:

./toolbox -nosplash -application org.eclipse.equinox.p2.director
-repository https://download.eclipse.org/releases/2020-06/202006171000
-installIU org.eclipse.egit.feature.group -roaming

3) Launch the Toolbox like you would normally do
4) Open "Find Action" by pressing Ctrl+3 and type "git" to access the
EGit views


Note that this does *not* work if your Toolbox on Linux has been
installed from the .deb file.

Markus