Yes, you’re correct. The uboot command will also give a prompt for the file name.