Proposal to stop auto-update when opening terminal

[rossmounce]

I like to work with multiple terminal windows.
Every time I open a new terminal window it tries to update the workshop materials which is a bit annoying.

Thoughts?

[blahah]

Agree this is annoying. In general we need a more sophisticated update system as it is effective but fragile right now. Ideally we have a single ping to a remote server which just asks for a yes/no "anything new since last update at time x?". Then if there is new stuff the user can choose to update. This could be run be a specific 'update' option in the menu rather than on every terminal launch.

[rossmounce]

In the meantime Ctrl+C works pretty well... :)