Le vendredi 24 juin 2016, 13:11:44 Abrolag a écrit : > If I have to shut down the computer quickly I've been in the habit, of just > hitting the 'Shutdown' icon on my desktop. This however, leaves a lock in > place.
Le vendredi 24 juin 2016, 17:46:34 D. Michael McIntyre a écrit : > On 06/24/2016 12:53 PM, Ted Felix wrote: > > Might be a good criteria for offering an "ignore" button to clear it > > > > out easily. > > In theory, I feel it defeats the purpose, since it's too easy to ignore > the situation. Boy who cried wolf and all that. Ignore, ignore, oops. > If there is only one user on this computer and if the RG files are stored on a local file system it should be a safe workaround to add in .bash_profile something like: find ~ -name ".~lock.*.rg#" | xargs rm -f Yves ------------------------------------------------------------------------------ Attend Shape: An AT&T Tech Expo July 15-16. Meet us at AT&T Park in San Francisco, CA to explore cutting-edge tech and listen to tech luminaries present their vision of the future. This family event has something for everyone, including kids. Get more information and register today. http://sdm.link/attshape _______________________________________________ Rosegarden-user mailing list [email protected] - use the link below to unsubscribe https://lists.sourceforge.net/lists/listinfo/rosegarden-user
