From 53acac205a662f06f76610a5db4e8042a01ef1dd Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=C8=98tefan=20Talpalaru?= Date: Fri, 8 Feb 2019 00:18:14 +0100 Subject: [PATCH] fix the github-ssh `make` target --- Makefile | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/Makefile b/Makefile index bb62ffa36..b5ecbe0ef 100644 --- a/Makefile +++ b/Makefile @@ -79,10 +79,12 @@ clean: mrproper: clean rm -rf vendor -# for when you have write access to a repo and you want to use SSH keys -# TODO: https://stackoverflow.com/questions/39894103/can-i-override-the-url-of-a-nested-git-submodule-without-forking +# for when you want to use SSH keys github-ssh: - sed -i 's#https://github.com/#git@github.com:#' .git/config $(NIM_DIR)/.git/config $(REPOS_DIR)/*/.git/config + sed -i 's#https://github.com/#git@github.com:#' .git/config + git config --file .gitmodules --get-regexp url | while read LINE; do \ + git config `echo $${LINE} | sed 's#https://github.com/#git@github.com:#'` \ + ;done #- re-builds the Nim compiler (not usually needed, because `make update` does it when necessary) build-nim: | deps