Skip to content

Instantly share code, notes, and snippets.

@zeta-00

zeta-00/home.nix, programs.git:

Created December 14, 2019 23:49
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 zeta-00/d1887cf5f11377880b7937e5242392ea to your computer and use it in GitHub Desktop.
Save zeta-00/d1887cf5f11377880b7937e5242392ea to your computer and use it in GitHub Desktop.
Download ZIP
Raw
home.nix, programs.git:
extraConfig =
{
url =
{
"git://github.com/ghc/packages-" = {insteadOf = "git://github.com/ghc/packages/";};
"http://github.com/ghc/packages-" = {insteadOf = "http://github.com/ghc/packages/";};
"https://github.com/ghc/packages-" = {insteadOf = "https://github.com/ghc/packages/";};
"ssh://git@github.com/ghc/packages-" = {insteadOf = "ssh://git@github.com/ghc/packages/";};
"git@github.com:ghc/packages-" = {insteadOf = "git@github.com:ghc/packages/";};
};
};
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment