get_design_filename
The command will return an error if a design is not loaded.
The command will return an error if arguments are passed.
if { [ is_design_loaded ] } {
set design_location [ get_design_filename ]
if {$design_location != "" } {
puts “Design is at $design_location.”
} else {
puts “Design has not been saved to a file on disk.”
}
} else {
puts "No design is loaded."
}