Skip to content

Include dot files.#46

Merged
dawsbot merged 2 commits intodawsbot:masterfrom
rapsalands:DotFiles
May 7, 2022
Merged

Include dot files.#46
dawsbot merged 2 commits intodawsbot:masterfrom
rapsalands:DotFiles

Conversation

@rapsalands
Copy link
Copy Markdown
Contributor

Fixes #20

Files starting with dot are included but folders are excluded.

if (disableQuickFilter) {
const placeHolder = `Found ${this._items.length} files. Enter the filter query. Consider adding more 'relativePath.ignore' settings.`;
const input = window.showInputBox({placeHolder});
const input = window.showInputBox({ placeHolder });
Copy link
Copy Markdown
Owner

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Good change, we will automate this away with prettier any day now 🙏

@dawsbot dawsbot merged commit b88e534 into dawsbot:master May 7, 2022
dawsbot added a commit that referenced this pull request May 7, 2022
* Ignore common dotfile dirs (follow-up of #46)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Files starting with a dot do not show up

2 participants