Thu, 15 Jan 2015 15:59:08 +0100
Implement a real Private Browsing Mode condition by changing the API/ABI;
This solves Tor bug #9701, complying with disk avoidance documented in
https://www.torproject.org/projects/torbrowser/design/#disk-avoidance.
1 # This Source Code Form is subject to the terms of the Mozilla Public
2 # License, v. 2.0. If a copy of the MPL was not distributed with this
3 # file, You can obtain one at http://mozilla.org/MPL/2.0/.
6 IGNORED_FILE_PREFIXES = ["."]
7 IGNORED_FILE_SUFFIXES = ["~", ".swp"]
8 IGNORED_DIRS = [".git", ".svn", ".hg"]
10 def filter_filenames(filenames, ignored_files=[".hgignore"]):
11 for filename in filenames:
12 if filename in ignored_files:
13 continue
14 if any([filename.startswith(suffix)
15 for suffix in IGNORED_FILE_PREFIXES]):
16 continue
17 if any([filename.endswith(suffix)
18 for suffix in IGNORED_FILE_SUFFIXES]):
19 continue
20 yield filename
22 def filter_dirnames(dirnames):
23 return [dirname for dirname in dirnames if dirname not in IGNORED_DIRS]