Skip to content

Instantly share code, notes, and snippets.

@zkessin
Created September 26, 2019 13:37
Show Gist options
  • Save zkessin/b5295b9aa8efe411ca1b81cf6297dc42 to your computer and use it in GitHub Desktop.
Save zkessin/b5295b9aa8efe411ca1b81cf6297dc42 to your computer and use it in GitHub Desktop.
#!/bin/bash
vagrant ssh --command "cd /vagrant && make --directory /vagrant $*"
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment