Those instructions are done in shell mode. Simply type those commands (mysqldump) to dump the whole database.