Hi Jeremy, On 25/11/14 12:58, Jeremy Morse wrote:
I think there's not so much mileage in moving things to a 'standard' location, as $HOME/.sr is a standard (possibly too short to be distinct though). There is some value in having it configured as an environmental variable though (perhaps someone wants the cache to go in /tmp, on an SSD, whatever), so I wouldn't mind seeing this happen.
Definitely agree with the environment variable idea. I will add that as a feature whether not the default location is changed.
Tom -- 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 [email protected]. For more options, visit https://groups.google.com/d/optout.
