Skip to content

Instantly share code, notes, and snippets.

@norio-nomura

norio-nomura/project.js.patch

Last active August 29, 2015 13:57
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save norio-nomura/9757918 to your computer and use it in GitHub Desktop.
Save norio-nomura/9757918 to your computer and use it in GitHub Desktop.
Download ZIP
Additional patch for project.js
Raw
project.js.patch
--- /Applications/Atom.app/Contents/Resources/app/src/project.js.orig 2014-03-24 09:39:52.000000000 +0900
+++ /Applications/Atom.app/Contents/Resources/app/src/project.js 2014-03-25 15:53:16.000000000 +0900
@@ -335,6 +335,7 @@
searchOptions = {
ignoreCase: regex.ignoreCase,
inclusions: options.paths,
+ follow: options.follow,
includeHidden: true,
excludeVcsIgnores: atom.config.get('core.excludeVcsIgnoredPaths'),
exclusions: atom.config.get('core.ignoredNames')
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment