fsprojects / fsprojects/Paket

Exclude directories from processing

Open
#3,923 4 comments 1 reaction 0 assignees View on GitHub

Nobody has claimed this yet.

enhancement
Dominant language
F#
Stars
2.1k
Forks
528
Avg merge
1d 12m
Merged PRs (30d)
54

Description

Description

A small feature request

While adding Paket to our solution, we noticed that it runs through all subdirectories to scan for paket.references etc. There are two inconvenient things here:

  • It also parses the .svn directory, where it should never ever touch anything anyway.
  • we have some code generation directories that contain '.project' files, which Paket dutifully warns about.

None of these issues is critical; the .svn directory contains essentially guids as filenames, and the '.project' files are not really touched because there is no paket.references in these directories or above. However, it seems nice to be able to exclude directories from the automatic search of "paket install" (or, alternatively, include them, we have just two that are relevant).

For example, running something like "paket install --include-dir=src'.

Contributor guide

No contributing guide indexed for this repository

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Research direction

Start by tracing the directory search used by "paket install" and reproduce it against .svn and code-generation directories containing .project files. Define the exclusion or inclusion behavior and command-line shape, then verify that excluded directories are not scanned while relevant directories still are.

Written by the indexing model from the issue text.

Assessment

Tech stack
fsharp
Domain
cli, tooling
Issue type
Feature
Difficulty
4/5
Estimated time
3-5 days
Activity status
Active
Clarity
Mostly clear
Newbie friendliness
48/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.