push config.tcl