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 694008 - Filesystem plugin strips "extension" from directories' title
Filesystem plugin strips "extension" from directories' title
Status: RESOLVED FIXED
Product: grilo
Classification: Other
Component: plugins
0.2.x
Other Linux
: Normal normal
: ---
Assigned To: grilo-maint
grilo-maint
Depends on:
Blocks:
 
 
Reported: 2013-02-17 03:13 UTC by Mike Ruprecht
Modified: 2013-02-18 10:23 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
Don't strip the "extension" from directory titles patch (974 bytes, patch)
2013-02-17 03:13 UTC, Mike Ruprecht 		committed Details | Review

Description Mike Ruprecht 2013-02-17 03:13:04 UTC 
Created attachment 236429 [details] [review]
Don't strip the "extension" from directory titles patch

The filesystem plugin removes the "extension" (last period and any following characters, if any) from the titles of media, including directories. Directories don't tend to have meaningful extensions. So I don't think it should do so for directories.
Comment 1 Juan A. Suarez Romero 2013-02-18 10:23:48 UTC 
commit aad08e70b340c024cf94407258166b5f8641eb82
Author: Mike Ruprecht <mike.ruprecht@collabora.co.uk>
Date:   Sat Feb 16 21:02:34 2013 -0600

    filesystem: Don't strip "extension" from title if it's a directory
    
    https://bugzilla.gnome.org/show_bug.cgi?id=694008

 src/filesystem/grl-filesystem.c |    8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)