Here's the most simple method:
The problems with that method are:
So manual installation may be a better choice. It's less beginner friendly but a beginner probably isn't going to be using the development version anyway:
Now the other option is using git to clone the repository but this is going to be a bit too involved/complex for even some reasonably experienced Arduino users. I know git well but still don't clone only for the sake of installing a library. For someone participating in development it's appropriate, though quite a few GitHub users only use the web interface to commit and don't even have Git installed on their computer. It's reasonable to add cloning instructions but I think it should be in addition to the manual installation instructions. Certainly the current instructions need to be improved.
Has this changed at all since then ?
Also I just pushed an alpha, waiting to see if arduino picks it up or not
Has this changed at all since then ?
No. Well, one thing has changed, but it's only related to something I mentioned in passing above:
If neither folder matches the include filename then the priorities are uncertain
The library dependency resolution system is now very well documented:
https://arduino.github.io/arduino-cli/sketch-build-process/#dependency-resolution
Not that it helps with the project of providing development branch installation instructions.
waiting to see if arduino picks it up or not
The tag was picked up by the indexer.
I noticed that, but we only have dependencies in the examples
WiFiManager is a dependency of any sketch that uses it, so dependency resolution is indeed relevant for anyone who has multiple copies of WiFiManager installed (as would be the case if they installed the release version via Library Manager and then installed the development version via "Add .ZIP Library", using the .zip file download from GitHub).
ah I see, makes sense
woah , location priority is rather interesting..
https://arduino.github.io/arduino-cli/sketch-build-process/#location-priority
Most helpful comment
Here's the most simple method:
The problems with that method are:
So manual installation may be a better choice. It's less beginner friendly but a beginner probably isn't going to be using the development version anyway:
Now the other option is using git to clone the repository but this is going to be a bit too involved/complex for even some reasonably experienced Arduino users. I know git well but still don't clone only for the sake of installing a library. For someone participating in development it's appropriate, though quite a few GitHub users only use the web interface to commit and don't even have Git installed on their computer. It's reasonable to add cloning instructions but I think it should be in addition to the manual installation instructions. Certainly the current instructions need to be improved.