Xfce Wiki

Sub domains
 

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision		Previous revision
contribute:dev:git:tips-and-tricks [2014/03/05 15:54] – [Different local username] nickcontribute:dev:git:tips-and-tricks [2021/04/30 09:21] (current) – ochosi
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 ''$HOME/.ssh/config'' (create it if it doesn't exist) so you don't have to type it each time: 
- 
-<file bash> 
-Host git.xfce.org 
-    User $sshname 
-</file> 
- 
-===== Pull over git:// push with ssh:// ===== 
- 
-You can switch to a different protocol or location for the push command. Advantage is that you can clone a repository using <nowiki>git://git.xfce.org/...</nowiki> which is faster than a ssh connection (no login, permission check and encryption), but push to ssh. 
- 
-<file bash> 
-git config --global url."ssh://git@git.xfce.org".pushInsteadOf "git://git.xfce.org" 
-</file> 
  
 ===== Shortcut URL's ===== ===== Shortcut URL's =====
Line 22: Line 7:
  
 <file bash> <file bash>
-git config --global url."ssh://git.xfce.org/".insteadOf xfce:+git config --global url."ssh://gitlab.xfce.org/".insteadOf xfce:
 </file> </file>