diff options
author | Michał Łyszczek <michal.lyszczek@bofc.pl> | 2019-08-22 22:52:04 +0200 |
---|---|---|
committer | Michał Łyszczek <michal.lyszczek@bofc.pl> | 2019-08-22 22:53:34 +0200 |
commit | 2be2259bdfc9214f044f85c6543af73ba5b0bc1d (patch) | |
tree | 4f7ea66d0f59543fbb234f1a0302a294cef7ada6 | |
parent | b68e4de332c5be00358d01c7c7ab2aa6384a6e16 (diff) | |
download | embedlog-2be2259bdfc9214f044f85c6543af73ba5b0bc1d.tar.gz embedlog-2be2259bdfc9214f044f85c6543af73ba5b0bc1d.tar.bz2 embedlog-2be2259bdfc9214f044f85c6543af73ba5b0bc1d.zip |
fix git links after domain change
no_ci
Signed-off-by: Michał Łyszczek <michal.lyszczek@bofc.pl>
-rwxr-xr-x | gen-download-page.sh | 4 | ||||
-rwxr-xr-x | test-compilation.sh | 2 |
2 files changed, 3 insertions, 3 deletions
diff --git a/gen-download-page.sh b/gen-download-page.sh index f7d252a..c870612 100755 --- a/gen-download-page.sh +++ b/gen-download-page.sh @@ -40,8 +40,8 @@ echo "be downloaded from: <a href=\"${remote}/\">${remote}</a><br>" echo "</p>" echo "<h1>git</h1>" echo "<p>" -echo "git clone git@bofc.pl:${project}<br>" -echo "git clone git://bofc.pl/${project}<br>" +echo "git clone git@git.bofc.pl:${project}<br>" +echo "git clone git://git.bofc.pl/${project}<br>" echo "git clone http://git.bofc.pl/${project}<br>" echo "</p>" diff --git a/test-compilation.sh b/test-compilation.sh index 73a60cf..800b745 100755 --- a/test-compilation.sh +++ b/test-compilation.sh @@ -17,7 +17,7 @@ prepare() project_dir="${3}" # clone - if ! git clone git://bofc.pl/"${project}" "${project}-${slot}" + if ! git clone git://git.bofc.pl/"${project}" "${project}-${slot}" then echo "couldn't clone, sorry" exit 1 |