PreferenceTools.jl icon indicating copy to clipboard operation
PreferenceTools.jl copied to clipboard

I want to have this in Pkg :)

Open carstenbauer opened this issue 2 years ago • 5 comments

What speaks against it? How difficult would it be to make a PR?

carstenbauer avatar Aug 04 '23 07:08 carstenbauer

You're welcome to try - you should probably raise in issue about it on Pkg.jl not here.

cjdoris avatar Aug 05 '23 18:08 cjdoris

I imagine the "you're welcome to try" comment would extend to how you'd feel about me ~~stealing~~ putting your code into a PR to Preferences.jl using package extensions?

tecosaur avatar Jun 05 '24 07:06 tecosaur

Yeah go for it.

cjdoris avatar Jun 13 '24 07:06 cjdoris

@tecosaur have you done anything in this direction?

carstenbauer avatar Aug 30 '24 07:08 carstenbauer

Put it on my to-do list 😛

tecosaur avatar Aug 30 '24 08:08 tecosaur