Re: resetting prefs
- From: Dave Bordoley <bordoley msu edu>
- To: textshell neutronstar dyndns org
- Cc: desktop-devel-list <desktop-devel-list gnome org>
- Subject: Re: resetting prefs
- Date: 19 Jun 2002 17:12:58 -0400
On Wed, 2002-06-19 at 17:19, textshell neutronstar dyndns org wrote:
>
> Ugly!!! We aren't windows! Could someone at least change this to a rename?
>
> IMHO We need good bug reports for problems not the pseudo solution reinstall
> gnome (rm -rf ~/.gnome2 is the UNIX equivalent of it, isn't it?).
> Give people at least some way make good bug reports. Yes we would have to tell
> the user the name of the renamed directory then, but just making it an non dot
> file (eg. saved_gnome_settings%u) might be enough too.
Please don't make folder and files that shouldn't be changed in everyday
use non dot files. Basic users will probably end up trying to delete
files and folders that they don't associate with (i can imagine the
headaches this could cause), and advance users who use $home as the
desktop will get pretty annoyed as well.
dave
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]