@User: If you source the .tcl file from the command line, then the device menu is only generated for new windows, not the existing one. What you want to do is to put those commands in a ".magicrc" file so that they are called before the first window is generated. Or you can run "magic -rcfile /path/to/sky130A.magicrc", or you can copy /path/to/sky130A.magicrc to your working directory and rename it to ".magicrc".

Thank you ! It worked.