Discussion:
[srobo-devel] Intent to remove autosave from the IDE
Peter Law
2016-05-27 20:44:58 UTC
Permalink
Hi,

Cross posted to srobo and srobo-devel for visibility. Please reply on
srobo for general/feature discussion or srobo-devel for technical
queries [1].

One of the current complications with the git backend of the IDE is
the presence of the Autosave feature. Usage data [2] suggests that
no-one uses it, so I plan to remove it shortly. Before doing so, I'd
love to hear from anyone who currently uses it or feels strongly that
it should stay.

Thanks,
Peter

[1] I'm happy to discuss the technical details; I don't think they're
needed for a general discussion though.
[2] Added in https://www.studentrobotics.org/cgit/cyanide.git/commit/?id=202a6fc360a9673b189a794fc1836d0c2ad9edcb,
a month before the competition. The data shows 4 hits for autosaved
content vs 1250 for loading the file from the currently saved state.
I'm pretty sure those four were me checking that it was working.
--
You received this message because you are subscribed to the Google Groups "Student Robotics Development" group.
To unsubscribe from this group and stop receiving emails from it, send an email to srobo-devel+***@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
Peter Law
2016-08-29 16:40:02 UTC
Permalink
Hi,
Post by Peter Law
One of the current complications with the git backend of the IDE is
the presence of the Autosave feature. Usage data [2] suggests that
no-one uses it, so I plan to remove it shortly.
This has now happened and the changes will go live tomorrow morning.

I've also made a start on removing the general reliance that we
currently have on the fact that the git repos are on the filesystem,
which should eventually allow us to move to non-filesystem repos if we
want. I'm expecting, but haven't yet verified, that we'll also get
some performance benefits from this too.

Thanks,
Peter
--
You received this message because you are subscribed to the Google Groups "Student Robotics Development" group.
To unsubscribe from this group and stop receiving emails from it, send an email to srobo-devel+***@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
Loading...