Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revision | Next revisionBoth sides next revision | ||
contribute:dev:git:tips-and-tricks [2014/03/05 15:54] – [Different local username] nick | contribute:dev:git:tips-and-tricks [2014/03/05 15:55] – [Different local username] nick | ||
---|---|---|---|
Line 1: | Line 1: | ||
====== GIT Tips & Tricks ====== | ====== GIT Tips & Tricks ====== | ||
- | ===== Different local username ===== | ||
- | |||
- | If your SSH username is not the same as your local username, you can make an entry in '' | ||
- | |||
- | <file bash> | ||
- | Host git.xfce.org | ||
- | User $sshname | ||
- | </ | ||
===== Pull over git:// push with ssh:// ===== | ===== Pull over git:// push with ssh:// ===== |