Skip to content

Add local options to save source and destination in project#2415

Open
luizzeroxis wants to merge 3 commits into
UnderminersTeam:masterfrom
luizzeroxis:local-options-1
Open

Add local options to save source and destination in project#2415
luizzeroxis wants to merge 3 commits into
UnderminersTeam:masterfrom
luizzeroxis:local-options-1

Conversation

@luizzeroxis

@luizzeroxis luizzeroxis commented Jul 3, 2026

Copy link
Copy Markdown
Contributor

Description

Adds a new project-local.json file to the project directory. It stores the source and destination files used by the project, making it so you don't need to specify them every time you load a project. This file and its options should not be committed to version control, since it contains your own local paths.

Caveats

I'm not sure if the structure I did in the code is correct, it feels a bit shoehorned in. Also the new local options class uses PathPair from the main one, so that should probably be moved as well.

Notes

I'm not sure if this should create a .gitignore since we don't initialize git anyway.

@github-actions

github-actions Bot commented Jul 3, 2026

Copy link
Copy Markdown

@luizzeroxis luizzeroxis marked this pull request as ready for review July 5, 2026 17:28
@colinator27 colinator27 added this to the Possible for 0.9.x milestone Jul 5, 2026
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.

2 participants