title: Restore single database from mysqldump to another database
body: <p>I have a mysqldump file that was created on our production server with the all-databases option.</p>
  
  <p>Let's say the dump contains</p>
  
  <ul>
  <li>db1</li>
  <li>db2</li>
  <li>db3</li>
  </ul>
  
  <p>I know I can restore just a single database with</p>
  
  <pre><code>mysql -D db3 -o &lt; backup.sql
  </code></pre>
  
  <p>But I want to restore only <code>db3</code> to my dev machine but into another database, lets say <code>db3_production</code> since there is already a <code>db3</code> on my dev machine which I want to keep.</p>
  
  <p>How can I do this? The file is to large to modify with a text editor.</p>