run a drush command with another user I am using drupalvm to manage my vagrant machines and I want to be able to be able to log into the vagrant machine and run drush to sync with the dev/stage/prod environments. I cannot do this without a bunch of extra setup to pass ssh keys and change usernames. 

I would prefer to just pass the ssh username along with the drush command. Does drush have an argument that allows me to do this? I was unable to find it in the docs.
I haven't been using a vagrant setup for a while, but back when I did, I used aliases similar to the one below:

$aliases['ogm'] = array(
  'remote-host' =&gt; '127.0.0.1',
  'remote-user' =&gt; 'vagrant',
  'ssh-options' =&gt; '-p 2222 -i /home/ga/.vagrant.d/private_key',
  'root' =&gt; '/srv/www/ogm.postfix.local/drupal',
  'uri' =&gt; 'http://ogm.postfix.local',
);


Something like this should still work for your DrupalVM sites.

n.b. remote-user is the ssh username.