Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Resolve glob errors in cmd #144

Merged
merged 1 commit into from
Jun 8, 2022
Merged

Resolve glob errors in cmd #144

merged 1 commit into from
Jun 8, 2022

Conversation

gnikit
Copy link
Member

@gnikit gnikit commented Jun 8, 2022

Fixes #142
Fixes #143

Fixes #142

1. Changes the container of `incl_suffixes` from a list to a set
2. Also, now the following options defined in the cmd interface will not
   be initialised to empty sets when a json config file is present.
      -  `excl_paths`
      - `source_dirs`
      - `incl_suffixes`
      - `excl_suffixes`
      - `include_dirs`

Fixes #143
@gnikit gnikit force-pushed the bug/resolve-globs-cmd branch from 06b9321 to 4624a35 Compare June 8, 2022 17:01
@codecov
Copy link

codecov bot commented Jun 8, 2022

Codecov Report

Merging #144 (4624a35) into master (6b47337) will increase coverage by 0.02%.
The diff coverage is 100.00%.

@@            Coverage Diff             @@
##           master     #144      +/-   ##
==========================================
+ Coverage   85.99%   86.01%   +0.02%     
==========================================
  Files          11       11              
  Lines        4419     4427       +8     
==========================================
+ Hits         3800     3808       +8     
  Misses        619      619              
Impacted Files Coverage Δ
fortls/interface.py 100.00% <ø> (ø)
fortls/langserver.py 83.17% <100.00%> (+0.13%) ⬆️

📣 Codecov can now indicate which changes are the most critical in Pull Requests. Learn more

@gnikit gnikit merged commit 5c68eda into master Jun 8, 2022
@gnikit gnikit deleted the bug/resolve-globs-cmd branch June 8, 2022 17:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
1 participant