How do I set the drush tmp directory? I understand how to use /etc/drush/drush.ini; however, I don't know what exactly to put in there in order for Drush to use a different temp directory when creating an archive-dump.
$options['dump-dir'] = '/path/to/dumpdir';


found in example.drushrc.php :)