Hello, I also managed to download the Efabless user proj example and I was able to view the user proj example.gds file in a container and I saw the Klayout example and it seemed fantastic to me, I learned to use the routes to the pdk and openlane but I still don't understand how to do it that sky130 be included in Magic and thus be able to build designs in that technology thanks

magic -rcfile $PDK_ROOT/$PDK/libs.tech/magic/$PDK.magicrc

or copy

$PDK_ROOT/$PDK/libs.tech/magic/$PDK.magicrc

to

.magicrc

in your working directory.

Maybe this video helpful: