@User ouch, I accidentally deleted my $HOME , which means I need to redownload SKY130 PDK , that is a lot to be processed during setup