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

config-pin location has changed; provide path to script. #57

Merged
merged 1 commit into from
Jul 11, 2022

Conversation

hzeller
Copy link
Owner

@hzeller hzeller commented Jul 9, 2022

The old 'config-pin' script is not compatible with the config-pin
binary found in newer installations. Until the *.pin files are adapted,
make sure to have the documentation point to the right place.

@codecov-commenter
Copy link

codecov-commenter commented Jul 9, 2022

Codecov Report

Merging #57 (baacf80) into main (be0c432) will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##             main      #57   +/-   ##
=======================================
  Coverage   45.32%   45.32%           
=======================================
  Files          37       37           
  Lines        4170     4170           
=======================================
  Hits         1890     1890           
  Misses       2280     2280           

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update be0c432...baacf80. Read the comment docs.

@hzeller
Copy link
Owner Author

hzeller commented Jul 9, 2022

First part for #48 : document the current location of the config-pin utility.

CC @bigguiness

The old 'config-pin' script is not compatible with the `config-pin`
binary found in newer installations. Until the *.pin files are adapted,
make sure to have the documentation point to the right place.
@hzeller hzeller force-pushed the 20220709-update-config-pin-location branch from 48f08e3 to baacf80 Compare July 10, 2022 05:27
@hzeller hzeller merged commit a3e3090 into main Jul 11, 2022
@hzeller hzeller deleted the 20220709-update-config-pin-location branch July 11, 2022 16:07
@hzeller hzeller restored the 20220709-update-config-pin-location branch July 11, 2022 19:07
@hzeller hzeller deleted the 20220709-update-config-pin-location branch July 11, 2022 19:08
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