After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 121778 - Using ~ (tilde) in file names is slightly unfortunate
Using ~ (tilde) in file names is slightly unfortunate
Status: VERIFIED FIXED
Product: gnome-themes
Classification: Deprecated
Component: nautilus themes
2.2.x
Other Linux
: Normal enhancement
: 2.4.1
Assigned To: Calum Benson
Calum Benson
Depends on:
Blocks:
 
 
Reported: 2003-09-08 19:52 UTC by Göran Uddeborg
Modified: 2004-12-22 21:47 UTC
See Also:
GNOME target: ---
GNOME version: Unversioned Enhancement



Description Göran Uddeborg 2003-09-08 19:52:53 UTC
The package gnome-themes, 2.2, which comes with Red Hat beta Severn
includes four files ending in ~ (tilde).  According to
https://bugzilla.redhat.com/bugzilla/show_bug.cgi?id=102079 this is
intentional, contrary to my first assumption.

I would like to suggest some more explicit suffix is used for this.  Many
GNU programs, emacs notably, generates backup files using tilde as a
suffix.  It is not uncommon for sites to have global cron scripts which
clean away such backup files after some time.  Such scripts would then
remove these index.html~ files too, which is obviously unfortunate.

/usr/share/themes/HighContrastLargePrint/index.theme~
/usr/share/themes/HighContrastLargePrintInverse/index.theme~
/usr/share/themes/LowContrast/index.theme~
/usr/share/themes/LowContrastLargePrint/index.theme~
Comment 1 Calum Benson 2003-09-09 16:31:05 UTC
You're right, this is a pretty ugly hack at best and wasn't really
very well thought through :/  Will try to get this fixed for 2.4.1,
even if it's only by choosing a better filename for the 'installed but
not used' files.
Comment 2 Göran Uddeborg 2003-09-14 16:54:38 UTC
Indeed, an easy fix like changing the name to something like
index.html.disabled would make things much more clear.  And at the
same time avoid problems like the one I mentioned.
Comment 3 Calum Benson 2003-10-06 17:34:58 UTC
Installation now renames disabled themes to index.theme.disabled, and
removes any index.theme~ files that previous installations may have
created.  Probably still need to revisit this whole crazy idea but it
closes out this bug for now :)