Skip to content

Instantly share code, notes, and snippets.

@baranga
Last active August 29, 2015 14:13
Show Gist options
  • Select an option

  • Save baranga/1c7699c763feabfc8b92 to your computer and use it in GitHub Desktop.

Select an option

Save baranga/1c7699c763feabfc8b92 to your computer and use it in GitHub Desktop.
use vagrant with empty ssh-agent
#!/bin/bash
# start vagrant without connection to ssh-agent to avoid problems regarding
# ed25519 keys
# see https://twitter.com/datagrok/status/552874864969654272
unset SHH_AGENT_PID
unset SSH_AUTH_SOCK
/usr/bin/vagrant $*
@datagrok
Copy link

datagrok commented Jan 9, 2015

  • SHH_AGENT_PID should be SSH_AGENT_PID.
  • Unquoted $* will break up arguments containing spaces into multiple arguments. Better to use "$@" there (including quotes)
  • alias vagrant='SSH_AGENT_PID= SSH_AUTH_SOCK= /usr/bin/vagrant' in ~/.bash_aliases might have the same effect as this script

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment