When ]dev-ing and dev_jll()-ing a jll, (e.g. FLINT_jll), the auto-populated override directory contents is readonly. Using cp to transfer the artifacts stuff presumably preserves the permissions. Thus to ultimately override the override one has to fix the permissions manually...
When
]dev
-ing anddev_jll()
-ing a jll, (e.g. FLINT_jll), the auto-populated override directory contents is readonly. Usingcp
to transfer the artifacts stuff presumably preserves the permissions. Thus to ultimately override the override one has to fix the permissions manually...