Differences

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

--- contribute:dev:git:tips-and-tricks [2014/03/05 15:47] – [Pull over git:// push with ssh://] nick
+++ contribute:dev:git:tips-and-tricks [2021/04/30 09:21] (current) – ochosi
@@ Line 1: / Line 1: @@
 ====== 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>
+===== Shortcut URL's =====
-Host git.xfce.org
-    User $USERNAME
-</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://gitlab.xfce.org/".insteadOf xfce:
+</file>
+After this, you'll be able to do, for example:
-<file ini .gitconfig>
+<file bash>
-[url "ssh://git@git.xfce.org"]
+git clone xfce:xfce/xfdesktop
-    pushInsteadOf = "git://git.xfce.org"
 </file>

Xfce Wiki