Be able to ignore dot files

14 years ago • updated by 11 years ago • 6 • 1 duplicate

It would be nice to have the option of ignoring dot files (like the .git directory) when downloading an entire directory.

Vote

Duplicates 1

Replies 6
Oldest first
- Newest first
- Oldest first

Answer

Under review

14 years ago

Good idea. Should this be an options in the global settings? I'm just not sure where this option should go.

13 years ago

global settings are fine

but please let the user enter file extensions on their own. (not just having a few with an on/off switch).

it would be cool, if it could not only ignore some filetypes, but also files ending on @2x.png or -hd.png, cause sometimes you still want the images, but you don't need it in 100 different versions.

14 years ago

To add on to this idea a bit: It would be nice to have a general "ignore list". Similar to the way you can define files to ignore in SVN or Git. This way when downloading a folder I could have it ignore files I don't need. For example:
.*
logs/*
*.jpg
*.psd
*.gif

and so on...

12 years ago

I would also like to have this feature. I like to have the source code of my projects which I compile on a build server on my iPad. But downloading the whole folder also downloads all the .o and other stuff I don't nedd.

11 years ago

this would increase speed, save space on the ipad, and be more green in general.

perhaps it could be in a performance section of preferences, or "mobile performance" as it would be most useful on the ipad/iphone, many full Mac install users would not care or prefer to have all the files.

"ignored files"

"ignored filetypes (Global)"

maybe an "Other" or "Experimental" tab for features that have no home yet.

ill think more on this, but good idea.

11 years ago

For PHP applications running on Apache, there are .htaccess files which can be used multiple times in an application to grant or deny access to various folders. So an ignore list is really a necessity. In some cases, these files are also used to enable or disable php.ini settings. Thus, they can in some circumstances be a vital part of an application.

Customer support service by UserEcho