search

cjdoris / PreferenceTools.jl

Julia preferences for humans
MIT License
36 stars 3 forks source link

Setting Preferences during Continuous Integration #6

Open facusapienza21 opened 3 days ago

facusapienza21 commented 3 days ago

I was wondering if there is a way to set the preferences during CI in GitHub. The way I understand PreferenceTools works is exclusively by entering the package manager mode in the REPL and adding the preferences. However, I am not sure the equivalent process to do this during CI. Maybe in order to archive this it is required to add preferences in Pkg (as mentioned in #3 )? Or there is another work around this?

facusapienza21 commented 2 days ago

I just realized looking at the source code that this can be done by 

using PreferenceTools
PreferenceTools.add("Package name", "Key"  => "Value")

Maybe it is good to add this to the docs!