Skip to content

Instantly share code, notes, and snippets.

@reinier
Created October 12, 2012 11:06
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save reinier/3878708 to your computer and use it in GitHub Desktop.
Save reinier/3878708 to your computer and use it in GitHub Desktop.
remote connection + git pull
ssh -t user@domain.com 'cd /home/domain/public && git pull'
@schmkr
Copy link

schmkr commented Oct 12, 2012

you can make an alias for it like this:
`alias sshPull='ssh -t user@domain.com 'cd /home/domain/public && git pull''``

in your .bash_profile

@reinier
Copy link
Author

reinier commented Oct 12, 2012

for some reason the single quotes didn't work for me, this worked though, thanks!

alias sshPull="ssh -t user@domain.com 'cd /home/domain/public && git pull'"

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